k/simple is a bare minimum k interpreter for learning purposes by arthur whitney

The most powerful local music generation model that outperforms most commercial alternatives, supporting Mac, AMD, Intel, and CUDA devices.

A modern step-through debugger for GHC Haskell

Hurricane: HoTT-I Type System

A function definition package for Coq

MacPorts overlay for building wine on macOS

Instant reload for GHCi

Acme Text Editor (detached from plan9port)

Portable version of the OpenBSD maintained mg, micro emacs clone

BetterSpades for PowerPC Mac OS X

Clone of isabelle, with LSP extensions in seperate branches

Starfish Prime: Lisp Flavoured LCF

Dependent Type Theory on C++ Templates

Hyperbolic Minetest-like game

Category Theory & Cobordism Categories in Lean 4

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

Castle Romeo: Experimental Theorem Prover for Category Theory

The OpenMusic visual programming / computer-aided composition environment

The main repository for the development of the evolution game Thrive.

A generative meta-logic-based music software

Ground Zero: Lean 4 HoTT Library

Anders: Cubical Type Checker

GTK+ and cairo test

Simple DNS matcher

Extract URL's from Common Crawl data

Cumulative moving average on sparse data

Measuring CPU's exchange time

Single file header-only JSON parser in C