Skip to content
View praduca's full-sized avatar
😀
$> sudo smile!
😀
$> sudo smile!

Highlights

  • Pro

Block or report praduca

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

BNF Converter

TeX 612 172 Updated Nov 24, 2025

C, C++, D, Rust and Zig for your z80

C 62 3 Updated Mar 9, 2022

OS with graphic interface for MSX 1

Assembly 34 2 Updated Jul 25, 2024

Converts png image to MSX2 mode 2 sprites and related tools

Python 10 2 Updated Nov 22, 2024

The Open SIMH simulators package

C 615 128 Updated Oct 23, 2025

Nix Packages collection

Nix 1 Updated Feb 28, 2025

Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell

Haskell 55 4 Updated Dec 15, 2023

A Turing complete language 😉

Haskell 42 3 Updated Oct 3, 2020

A gently curated list of companies using Haskell in industry

980 138 Updated Oct 14, 2025

Hacky Nix-based AmigaOS build environment

Nix 6 Updated Mar 14, 2025

Haskell library for building declarative animations based on SVG graphics

Haskell 1,170 65 Updated Feb 6, 2025

Turbo Rascal Syntax Error full repo

C++ 264 50 Updated Nov 29, 2025

A distributed, fast open-source graph database featuring horizontal scalability and high availability. This is an archived repo for v2.5 only, from 2.6.0 +, NebulaGraph switched back to https://git…

C++ 849 132 Updated Aug 17, 2022

All CPU and MCU documentation in one place

HTML 1,962 187 Updated Nov 4, 2022

PaSh: Light-touch Data-Parallel Shell Processing

Shell 586 45 Updated Nov 25, 2025

A massively parallel, optimal functional runtime in Rust

Cuda 11,164 424 Updated Nov 21, 2024

An easy to use, cross platform, GUI library for writing Haskell applications.

Haskell 639 44 Updated May 20, 2024

Domain Specific Languages for Computational Law

Haskell 77 9 Updated Jun 29, 2025

Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell

Haskell 155 10 Updated Jul 22, 2021

Bootstrapping ATS3

ATS 235 21 Updated Nov 24, 2025

mode-7 inspired engine for MSX + carts demo

C 14 1 Updated Jan 28, 2025

Erlang backend for the PureScript compiler

Haskell 349 9 Updated Sep 4, 2025

A curated list of awesome Haskell frameworks, libraries and software.

452 23 Updated Nov 25, 2025
JavaScript 452 122 Updated Aug 25, 2025

An introduction to programming language theory in Agda

Agda 1,472 344 Updated Nov 25, 2025

A latency-hating emulator of: the Acorn Electron, BBC Micro and Archimedes, Amstrad CPC, Apple II/II+/IIe and early Macintosh, Atari 2600 and ST, ColecoVision, Enterprise 64/128, Commodore Vic-20 a…

C++ 1,052 56 Updated Nov 30, 2025

Reimplementation of TeX in Haskell: pre-alpha

Haskell 32 Updated Apr 24, 2014

Sample code for my YouTube series.

C++ 668 106 Updated Oct 30, 2017

Warp speed Data Transfer (WDT) is an embeddedable library (and command line tool) aiming to transfer data between 2 systems as fast as possible over multiple TCP paths.

C++ 2,928 391 Updated Nov 18, 2025

A DSL for embedded hard realtime applications.

Haskell 275 20 Updated May 15, 2017
Next