Stars
openEMS is a free and open electromagnetic field solver using the FDTD method.
Smart pointers for the (GNU) C programming language
A cross-platform C and C++ unit testing framework for the 21st century
A Stable ABI for Rust with compact sum-types
BoSy is a reactive synthesis tool based on constraint-solving
10 papers that all PhD students in programming languages ought to know, for some value of 10
egg is a flexible, high-performance e-graph library
🖥️ A small, customizable and extensible MCU-class 32-bit RISC-V soft-core CPU and microcontroller-like SoC written in platform-independent VHDL.
TypeScript Compiler API wrapper for static analysis and programmatic code changes.
Filtered functions provide an extension of CLOS generic function invocation that add a simple preprocessing step before the actual method dispatch is performed and thus enable the use of arbitrary …
Freelancer: HD Edition is a mod that aims to improve every aspect of the game Freelancer (2003) while keeping the look and feel as close to vanilla as possible.
Master programming by recreating your favorite technologies from scratch.
A statically typed lisp, without a GC, for real-time applications.
Armada is a tool for writing, and proving correct, high-performance concurrent programs.
Research programming language for concurrent ownership
Firmware for an ad-hoc mesh network of Internet-of-Things devices based on LoRa (Long Range radio) that can be deployed quickly and at low cost.
High-performance extensible build system for reproducible multi-language builds.
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Metamath program - source code for the Metamath executable