Lean 4 programming language and theorem prover

A lightweight, LXC-like container runtime for Android and Linux. Run full Linux distributions natively with zero performance penalty

a dynamic language for the joy of programming

Distribute and run LLMs with a single file.

Bootstrapping LISP in a Boot Sector

AI code reviews grounded in 12 classic engineering books — decay risk diagnostics with book citations, severity labels, and 6 analysis modes including full-sweep auto-fix

Tiny Pure Functional Programming Language in C

Lambda Calculus based, interpreted programming language that recognizes Church encoded structures.

Accompanying Source Code for the Haskell Data Analysis Cookbook

The adventures of a Haskell compiler

Count your code, quickly.

Functional Reactive Programming domain-specific language for efficient hybrid systems

A fun little TUI framework for OCaml

Batteries Included project

A puzzle game inspired by functional programming

Kronos: A Foundation Model for the Language of Financial Markets

Translate your page in real time using Google, Bing or Yandex

A high performance Game Boy® emulator for the Playdate™

A TUI pager with advanced support for tabular data, inferring/swapping delimiters, and real-time event parsing.

F2 is a cross-platform command-line tool for batch renaming files and directories quickly and safely. Written in Go!

A syntax-highlighting pager for git, diff, grep, rg --json, and blame output

ivy, an APL-like calculator

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

A list of awesome libraries for BQN

A dialect of Lisp that's embedded in Python

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Production-grade engineering skills for AI coding agents.

Retrieval Augmented Generation (RAG) chatbot powered by Weaviate

My Gitbook blogs

Haskell implemented with combinators