A small C compiler

A ponylang-inspired actor model library for Go

An encrypted IPv6 network using public-key cryptography for address allocation and a distributed hash table for routing.

The Endless Acid Banger

Parser library for 8SVX: digitally sampled audio voices consisting of 8-bit samples

A container debugging tool based on FUSE

Library and example web app for the SAML Web-based SSO profile.

Play with fluids in your browser (works even on mobile)

Monospaced bitmap fonts

Real programming languages in 50 lines of code

An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.

Less than 100 Kilobytes. Works for Android 5.1 and above

Quality of life/Magicka Multiplayer Fixes.

Comparing many FRP implementations by reimplementing the same toy app in each.

Geometry library for C - Fast point-in-polygon

Resources to install NixOS bare metal on Apple Silicon Macs [maintainers=@tpwrules,@flokli,@yuyuyureka]

A tiny immediate-mode UI library

Recurrent neural network for audio noise reduction

Safe Rust bridge for creating Erlang NIF functions

A tool that generates a Nix derivation from a Ninja build file.

All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).

A hash array-mapped trie implementation in C

They see me rollin'. They're Heyting. -- Chamillionaire, 2005

Dafny is a verification-aware programming language

You like pytorch? You like micrograd? You love tinygrad! ❤️

Kronos is a 3-stage in-order RISC-V RV32I_Zicsr_Zifencei core geared towards FPGA implementations

nextpnr portable FPGA place and route tool

A single-header ANSI C immediate mode cross-platform GUI library