Hurricane: HoTT-I Type System

The Costa Graphical User Interface for MS-DOS and compatible systems.

Standalone client for proxies of Opera VPN

Jupyter kernel for HOL4 and Standard ML

Yet another typechecker for a dependently typed language.

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