A terminal based mail user agent based on notmuch

MacOS Web Server written entirely in ARM64 assembly

simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.

SQL-first, type-safe PostgreSQL client code generator

Fava - web interface for Beancount

A native, user-mode, multi-process, graphical debugger.

The best ChatGPT that $100 can buy.

fugitive.vim: A Git wrapper so awesome, it should be illegal

`t` (T-for-text) is a concise language for manipulating text, replacing common usage patterns of Unix utilities like grep, sed, cut, awk, sort, and uniq.

The Lean Computer Science Library (CSLib)

A minimal git pre-commit hook runner

Transform your favorite cities into beautiful, minimalist designs. MapToPoster lets you create and export visually striking map posters with code.

CakeML: A Verified Implementation of ML

🍜 🐈 A tasty Haskell mobile framework

Generate a quickfix file during compilation

A modern step-through debugger for GHC Haskell

OpenAI-compatible API server for Apple on-device models

One stop solution for all Vulkan samples

Nix flake and overlay for ESP8266 and ESP32 development.

Sharp Monocular View Synthesis in Less Than a Second

The procedural generation voxel engine

Data frames for tabular data.

a playground for making 3D art with lisp and math

A massive collaborative rube goldberg machine.

A formalized proof of Carleson's theorem in Lean

Frame profiler

Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.