Beast code in Giters

Marco A L Barbosa's starred repositories

A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀

Language:CMIT77400

A modern proof language

Language:JavaScriptMIT353400

Official repo for Memtest86+

Language:CGPL-2.099100

Custom build Linux distribution for netbooted 486 machine.

Language:CBSD-2-Clause4100

A modern Prolog implementation written mostly in Rust.

Language:RustBSD-3-Clause198200

Book in preparation: introduction to theoretical computer science

Language:TeXNOASSERTION90000

Empowering everyone to build reliable and efficient software.

Language:RustNOASSERTION9600300