Acme Text Editor (detached from plan9port)

https://github.com/piqueserver/piqueserver fork

Minimalistic Haskell kernel for Jupyter

An attempt to reinvent the garbage collector

Verified Assembly Language for Everest

Kind of Military Simulator Game built upon https://github.com/rzrn/piqueserver2

Lightweight GNUstep/Cocoa wrapper for XTerm/Rxvt

Portable high-level assembler with authentic C syntax

BetterSpades for PowerPC Mac OS X

A C Compiler that fits in the 512 byte boot sector of an x86 machine

Starfish Prime: Lisp Flavoured LCF

Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits

Dependent Type Theory on C++ Templates

Hyperbolic Minetest-like game

Running native amd64 Plan 9 binaries through Syscall User Dispatch (Linux 5.11+)

Implementation of λ calculus in Limbo

Castle Romeo: Experimental Theorem Prover for Category Theory

Anders: Cubical Type Checker

A Haskell library to parse/serialize Executable and Linkable Format (ELF)

Toy point free language implementing GRF

💫 A different take on Assembly, with the goal of creating tiny executables.

Cython wrapper for tkvdb radix trie key-value database

leaked source code

sectorforth is a 16-bit x86 Forth that fits in a 512-byte boot sector.

Intel 8080 assembler and simulator in JS, optimized for simplicity.

Programming language based on russian language

Sound experiments

Книга «Шар тысячи душ»