SCC - Small C Compiler for DOS

A typechecker and lazy interpreter for System U

Минималистичный пример загрузки файла с сайта

A lazy, purely functional language based on System F-omega with (restricted) equirecursive types.

Hurricane: HoTT-I Type System

The Costa Graphical User Interface for MS-DOS and compatible systems. This repository is a mirror of https://codeberg.org/jacobpalm/costa

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