Content-addressable heap with typed digest

an experimental forester forest with a proof assistant bolted on

Literature downloader from academic publishers

A ML built on an orthodox dependent type foundation

A TextMate Bundle for Forester

A collection of user interface components and drawing routines for building tasteful apps using AppKit.

mount an atproto PDS repository as a FUSE filesystem