Starred repositories
The strongly-typed, compiled language for creating route filters, used by Rotonda.
An embeddable dynamic programming language for Rust.
Limbo is a project to build the modern evolution of SQLite.
A theory‑backed, ultra type‑safe algebraic effects
🐸 Rybbit - open-source and privacy-friendly alternative to Google Analytics that is 10x more intuitive.
Experimental WASM Microkernel Operating System
Compiler for the Vale programming language - http://vale.dev/
The first ever roguelike written in the OCaml type system
Self-hostable instant messaging server that makes classic AIM and ICQ clients work again. (Independently developed, not affiliated with or endorsed by AOL)
Weighs the soul of incoming HTTP requests to stop AI crawlers
An implementation of Messaging Layer Security (RFC 9420)
Rust implementation of the Messaging Layer Security (MLS) protocol
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Write your own virtual machine for the LC-3 computer!
PNG decoding and encoding library in pure Rust
Bananas🍌, Cross-Platform screen 🖥️ sharing 📡 made simple ⚡.