8000 praduca (Flávio Martins Prado) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View praduca's full-sized avatar
😀
$> sudo smile!
😀
$> sudo smile!

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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 602 168 Updated Mar 15, 2025

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

C 55 3 Updated Mar 9, 2022

OS with graphic interface for MSX 1

Assembly 33 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 541 111 Updated Apr 25, 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 54 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

969 140 Updated Apr 24, 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,157 62 Updated Feb 6, 2025

Turbo Rascal Syntax Error full repo

C++ 251 47 Updated Jun 4, 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++ 851 131 Updated Aug 17, 2022

All CPU and MCU documentation in one place

HTML 1,935 185 Updated Nov 4, 2022

PaSh: Light-touch Data-Parallel Shell Processing

Shell 572 43 Updated Apr 14, 2025

A massively parallel, optimal functional runtime in Rust

Cuda 11,026 421 Updated Nov 21, 2024

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

Haskell 622 43 Updated May 20, 2024

Domain Specific Languages for Computational Law

Haskell 75 9 Updated Feb 11, 2025

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

Haskell 156 9 Updated Jul 22, 2021

Bootstrapping ATS3

ATS 218 17 Updated Jun 3, 2025

mode-7 inspired engine for MSX + carts demo

C 14 1 Updated Jan 28, 2025

Erlang backend for the PureScript compiler

Haskell 341 7 Updated Jun 21, 2024

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

445 23 Updated May 27, 2025
JavaScript 413 120 Updated Mar 17, 2025

An introduction to programming language theory in Agda

Agda 1,433 334 Updated Jun 2, 2025

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

C++ 1,006 54 Updated Jun 2, 2025

Reimplementation of TeX in Haskell: pre-alpha

Haskell 31 Updated Apr 24, 2014

Sample code for my YouTube series.

C++ 659 108 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,901 388 Updated Apr 21, 2025

A DSL for embedded hard realtime applications.

Haskell 271 20 Updated May 15, 2017
Next
0