A fast entity component system (ECS) for C & C++

Formalization in Lean of some results related to stable matchings and the Gale-Shapley algorithm

Deep learning toolkit-enabled VLSI placement

Atmosphère is a work-in-progress customized firmware for the Nintendo Switch.

RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

A categorized list of C++ resources.

PS4 emulator for Windows,Linux,MacOS

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Self checking RISC-V directed tests

Load plugins with a delay on Obsidian startup, so that you can get your app startup down into the sub-second loading time.

Visualize streams of multimodal data. Fast, easy to use, and simple to integrate. Built in Rust using egui.

Shuttle is a library for testing concurrent Rust code

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

plasTeX plugin to build formalization blueprints.

The Best Library: a C++ STL replacement

GPU-accelerated compiler

Cap'n Proto for Rust

Patch Linux executables for compatibility with older glibc

Fixed-size C++ delegates - efficient alternatives to std::function.

Concurrency permutation testing tool for Rust.

Investigates optimizing 'wc', the Unix word count program

An ongoing attempt to re-engineer LuaJIT from scratch

A new (MLIR based) high-level IR for clang.

egraphs + datalog!

Truly independent web browser

Figma Agent for Linux (a.k.a. Font Helper)

The rustic MLIR bindings in Rust