Stars
A Go->C++transpiler meant for data-oriented gameplay and application programming especially for WebAssembly. Using this mostly in the context of specific personal projects and heavily focusing the …
A friendly programming language from the future
Get inverter data from a Goodwe XS inverter
Systems language with linear types and capability-based security.
A statically typed language compatible with Python
A declarative concatenative programming language
A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
Functional language with intensional polymorphism and first-class staging.
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
msvisser / qmk_firmware
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Parsing, analyzing, and comparing source code across many languages
Navigate and edit text objects with Emacs. Development on pause.
FFmpeg filter for applying GLSL transitions between video streams.
Bundle Nix derivations to run anywhere! [maintainer=@matthewbauer, @Artturin]