A simple expressions language with polymorphic extensible row types.

Maru - a tiny self-hosting lisp dialect

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

A verified compiler for a lazy functional language

1ML prototype interpreter

A rewrite of the Ante compiler

A safe, easy systems language

Structural Lisp IDE/browser/computing environment

CakeML: A Verified Implementation of ML

an open letter to the NixOS foundation

A user-friendly method of sandboxing applications using bubblewrap with portals support.

The MaPLe compiler: efficient and scalable parallel functional programming

The adventures of a Haskell compiler

Clojure-style anonymous function literal for Elisp

Privacy-respecting metasearch engine

Scarlett - Kernel interpreter

A new Unix shell.

reupload of s, used to have 100 stars

Scripting with Least Privilege

OpenZone mouse cursor theme for X11 and Wayland.

es: a shell with higher-order functions

rc shell -- independent re-implementation for Unix of the Plan 9 shell (from circa 1992)

The dum^H^H^Hsimplest encryption tool in the world.

A collection of useful Emacs Lisp code that isn't substantial enough to be packaged

gray terminal color scheme

⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.

Standalone C compiler for RISC-V and ARM

Perhaps the smallest useful terminal multiplexer in the world.

a small statically-linked linux system

Experiment on how to bootstrap the OCaml compiler