openEMS is a free and open electromagnetic field solver using the FDTD method.

GPU Trace Visualizer

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

A Satisfiability Solver for Hyperproperties

BoSy is a reactive synthesis tool based on constraint-solving

CaDiCaL SAT Solver

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.

Transparent file encryption in git

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.

Circuit IR Compilers and Tools

A statically typed lisp, without a GC, for real-time applications.

Armada is a tool for writing, and proving correct, high-performance concurrent programs.

A modern proof language

Research programming language for concurrent ownership

VS Code in the browser

A textbook on informal homotopy type theory

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

Source of metamath book

Metamath program - source code for the Metamath executable

Automatic headphone equalization from frequency responses

A research project in path semantics, a re-interpretation of functions for expressing mathematics