Jon Purdy

Hazy. The Hazy Haskell Compiler

eternal. Eternal Software Initiative

ghostel. Terminal emulator powered by libghostty

kitty-graphics.el. Display images, video, and scaled text directly in terminal Emacs (emacs -nw) using the Kitty graphics protocol, tmux or Sixel

podlet. Generate Podman Quadlet files from a Podman command, compose file, or existing object

cargo-binstall. Binary installation for rust projects

podman. Podman: A tool for managing OCI containers and pods.

ctags. A maintained ctags implementation

bao. an implementation of BLAKE3 verified streaming

sslh. Applicative Protocol Multiplexer (e.g. share SSH and HTTPS on the same port)

cockpit. Cockpit is a web-based graphical interface for servers.

rouge. A pure Ruby code highlighter that is compatible with Pygments

wincompose. 🔣 Compose Key for Windows

penpot. Penpot: The open-source design platform for Product teams that need scalable collaboration.

css-parser. Modern CSS parser in pure Haskell built on Alex+Happy stack

Y-. 126 Byte compiler

gatk. Official code repository for GATK versions 4 and up

subtext. An esoteric programming language based on RegEx matching and text replacing. Basically a text-rewriting system, but with functions, scopes and RegEx

gecko. Gecko: a fast GLR parser with automatic syntax error recovery

r3. r3 programing language - ColorForth inspired

snapshottable. A store of mutable references that can be captured and restored efficiently.

howl. An implementation of a small subset of the Wolfram language in Haskell

sequent. OCaml

referenceImplementation. This is a reference implementation of GLL and its variants written by Adrian Johnstone and tested by Elizabeth Scott; we are the authors of the GLL algorithm. As of 29 May 2024, this repo is frozen; the work has been embedded in the main ART repo at https://github.com/AJohnstone2007/ART

AliOS. Custom bootloader, kernel, file system, assembler, and text editor implemented in x86 Assembly and C.

mir. A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

eips. The efficient, intention-preserving sequence CRDT. Guaranteed logarithmic-time operations.

kirigami.el. kirigami.el, a unified method to fold and unfold text in Emacs: outline, outline-indent, org-mode, markdown-mode, gfm-mode, vdiff, hideshow, fold-this, ts-fold, treesit-fold, vimish-fold...

hegg. Fast equality saturation in Haskell

overeasy. A purely functional E-Graph library

datalog-ts. a datalog interpreter in typescript

crem. Compositional Representable Executable Machines

xee. XPath, XSLT

grex. Command line tool to flatten XML into a line-oriented, greppable format

xpath-cli. Command line tool to run XPath expressions on XML or HTML data

tpg. Tree Proof Generator

awesome-egraphs. An awesome list of e-graph resources

henceforth. optimizing compiler for an imperative stack based language

haskell-obj-c. Write Mac apps entirely in Haskell

cpl. An interpreter of Hagino's Categorical Programming Language (CPL).

outline-indent.el. Outline-indent: Indentation based Folding for Emacs (Supersedes legacy packages such as origami.el and yafolding.el)

jtckdint. C23 Checked Arithmetic

stow. GNU Stow - mirror of savannah git repository occasionally with more bleeding-edge branches

fold-this.el. Fold the active region in Emacs

onramp. A portable self-bootstrapping C compiler

parallels. A TUI tool to run multiple commands in parallel and view their output in real-time.

cpanminus. cpanminus - get, unpack, build and install modules from CPAN

gibberish. A parser combinator language and compiler designed to produce lossless syntax trees with robust, structured error recovery.

tapl. TAPL is a modern compiler system's frontend framework designed to help users create their own strongly typed programming languages. It is designed to simplify the process of creating and extending programming languages with strong typing capabilities.

geometric-constraint-solver. A Simple Geometric Constraint Solver

core. Dovecot mail server

git-appraise. Distributed code review system for Git repos

auto-dark-emacs. Auto-Dark-Emacs is an auto changer between 2 themes, dark/light, following MacOS, Linux or Windows Dark Mode settings

postsrsd. Postfix Sender Rewriting Scheme daemon

csv-schema. CSV Schema

cmm-documentation. GSoC project to documment and improve the tooling for cmm ( GHC )

blame-reveal. A contextual, high-performance Git blame UI for Emacs.

fumo-lib. small, single-header library that adds compile time type safety to C23.

escardo. Haskell

pure-bash-bible. 📖 A collection of pure bash alternatives to external processes.

strawk. AWK Using Structural Expressions

nprolog. interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)

postforward. Postfix SRS forwarding agent

cabal-targets. List the targets in a Cabal project

S25_THERMAL. Python

cj. a simple x86/arm jit framework for c

imath. Arbitrary precision integer and rational arithmetic library

MachOBuilder. Mach-o simple executable and object file generator

monad-batcher. An applicative monad that batches commands for later more efficient execution

tm. Tiny eMacs

lastpass-to-apple-passwords. A Python script to seamlessly convert LastPass CSV exports into the format required by Apple's Passwords app. Simplifies migrating your login credentials from LastPass to Apple's native password manager.

ido-completing-read-plus. Fancy completion all over Emacs, not just for buffers and files.

devenv. Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

haskell-notes. Learn me a Haskell, finally. (And you can too!)

topolang. TopoLang is an experimental programming "language" based on topological pattern matching in images.

zig-time-sharing-kernel. Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI

gk. k interpreter

SchismC. A full WindowsOS port of HolyC programming language.

ZeroFS. ZeroFS: A log-structured filesystem for S3. ZeroFS serves S3-compatible buckets as POSIX filesystems over NFS and 9P, or as raw block devices over NBD.

faux-type-theory. OCaml

gdu. Fast disk usage analyzer with console interface written in Go

winget-cli. WinGet is the Windows Package Manager. This project includes a CLI (Command Line Interface), PowerShell modules, and a COM (Component Object Model) API (Application Programming Interface).

mercury-aggregates. Bag and set aggregates for Mercury

pcf. A small compiler for PCF

nbe-for-mltt. Normalization by Evaluation for Martin-Löf Type Theory

Pawns. Pawns functional/imperative programming language compiler etc

blott. An experimental type checker for a modal dependent type theory.

mercury-sqlite3. Mercury module for sqlite3 (based on wangp's sqlite3 module in the pushpull library)

mmc-doc. Look up Mercury documentation

uMLIP-Interactive. GUI for running simulations with universal MLIPs (MACE, CHGNet, SevenNet, Nequix, ORB, Allegro, MatterSim, UPET, GRACE)

copyparty. Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file

SoundThread. Node based GUI for The Composers Desktop Project

frate. Developer-first package manager for user-level tool installation.

grabapl. A visual-first, statically typed, pluggable, graph-based programming language

hazel. Hazel, a live functional programming environment with typed holes

worgle. A fast and portable tangler for (a limited subset of) org with noweb support. Written in ANSI C.

b4. b4 : a tiny forth-like virtual machine

haskell-swift. Haskell x Swift interoperability libraries and tools

tmux-rs. A Rust port of tmux

sdl3-hs. Haskell bindings for the SDL3 library.

grokking-sc. Artifact for the Functional Pearl "Grokking the Sequent Calculus"

BenchGen. Automatic Generation of Benchmarks to Stress-Test Computing Systems.

organic-markdown. A Literate Programming System Utilizing Markdown

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

sqlight. A SQLite Playground that runs completely locally.

markdown-preview-mode. Minor mode to preview markdown output as you save

metal-mercury-mode. Patched fork of Matthew Carter's metal-mercury-mode for emacs with extra grep commands for reaching declarations

jj. A Git-compatible VCS that is both simple and powerful

hoogle-translate. Clojure

Saxon-HE. Saxon-HE open source repository

bottom. Yet another cross-platform graphical process/system monitor.

function_expansion. Help for writing function-like macros

clpz. Constraint Logic Programming over Integers

minimal-emacs.d. minimal-emacs.d - Emacs init.el and early-init.el for Better Defaults and Optimized Startup, intended to serve as a solid foundation for your vanilla Emacs configuration | Emacs Starter Kit

generic-diff. Generic structural diffs on arbitrary datatypes

blocks. Tiny Minecraft clone in C and HLSL using the new SDL3 GPU API

Graphite. Community-built comprehensive 2D content creation appplication for graphic design, digital art, and interactive real-time motion graphics powered by a node-based procedural graphics engine

Admiran. Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda

c_plus_prolog. C plus Prolog

mathcask. A quick starter kit to easily write and share your self-rendering mathematical notes and snippets

tree-rewriter. This is the repository containing Rosin. Rosin is a tree rewriting language.

fenster. The most minimal cross-platform GUI library

zeptoforth. A not-so-small Forth for Cortex-M

par-lang. Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

MiniKanrenT. An implementation of miniKanren in Haskell

tiny-prolog2. A simple Prolog II interpreter written in Pascal

jank. jank is the native Clojure dialect with seamless C++ interop.

wild. A very fast linker for Linux

stellogen. An experimental language exploring computation and meaning through term unification, with logic-agnostic types.

aztecs. A modular game engine and ECS for Haskell

NanoProlog. Haskell

quarkdown. 🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.

turso. A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.

miniUni. A concurrent scripting language

dtt-rtcg. Demo for dependent types + runtime code generation

libfsm. DFA regular expression library & friends

kbits. A blog of things I wish I'd already found

rustic. Emacs Lisp

pandoc. Universal markup converter

winflexbison. Main winflexbision repository

sphinx. The Sphinx documentation generator

docutils. Mirror of https://sourceforge.net/p/docutils/code/HEAD/tree/trunk/

sphinx-better-subsection. Better your Sphinx section IDs

par. ⅋ — session types for Rust

ebnf-convert. Grammar Converter

DrawGrammar. Draw railroad diagrams of EBNF grammars. In browser and on command line

rr. RR - Railroad Diagram Generator

railroad-diagrams. :steam_locomotive: A small JS+SVG library for drawing railroad syntax diagrams, like on JSON.org. Now with a Python port!

Engine4D. A Unity toolkit for making 4D games

wslu. A collection of utilities for Windows Subsystem for Linux

org.alloytools.alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

cppinsights. C++ Insights - See your source code with the eyes of a compiler

ministg. Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.

cognitive-load. 🧠 Cognitive load is what matters

Intensional-computation. translations of a lambda abstraction to combinations of operators

avalog. An experimental implementation of Avatar Logic with a Prolog-like syntax

closure. Closure calculus implementation

verus. Verified Rust for low-level systems code

mmlir. A minimal (really) out-of-tree MLIR example

herdtools7. The Herd toolsuite to deal with .cat memory models (version 7.xx)

llm.c. LLM training in simple, raw C/CUDA

open-gpu-kernel-modules. NVIDIA Linux open GPU kernel module source

boa. Partition refinement

CppCoreGuidelines. The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

type_safe. Zero overhead utilities for preventing bugs at compile time

logos. Create ridiculously fast Lexers

automata. generate synthetic data for training finite state machines/pushdown automata/turing machines

ieee754_simulation. Complete simulation of IEEE 754 fixed and floating point specification to any precision

neural-networks-and-deep-learning. Code samples for my book "Neural Networks and Deep Learning"

titan. The Titan programming language.

hopes. Higher Order Prolog with Extensional Semantics

diff-pdf. A simple tool for visually comparing two PDF files

vbindiff. Visual Binary Diff (VBinDiff) displays files in hex & ASCII and can highlight the differences between 2 files

ptoxide. Virtual machine for executing CUDA PTX without a GPU

grammars-v4. Grammars written for ANTLR v4; expectation that the grammars are free of actions.

SqrtPi. Agda code accompanying the SqrtPi paper

gpgpu-sim_distribution. GPGPU-Sim provides a detailed simulation model of contemporary NVIDIA GPUs running CUDA and/or OpenCL workloads. It includes support for features such as TensorCores and CUDA Dynamic Parallelism as well as a performance visualization tool, AerialVisoin, and an integrated energy model, GPUWattch.

gpuocelot. GPUOCelot: A dynamic compilation framework for PTX

moderngpu. Patterns and behaviors for GPU computing

DocumentSASS. Unofficial description of the CUDA assembly (SASS) instruction sets.

superf. Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.sigplan.org/details/POPL-2024-popl-research-papers/50)

duet. Duet: static analysis for unbounded concurrency

CuAssembler. An unofficial cuda assembler, for all generations of SASS, hopefully ：）

forth-documents. Forth douments, books, papers

flyde. Open-source Visual programming for backend logic that integrates with existing codebases. Flyde bridges the gap between technical and non-technical team members. Product managers, designers, and backend developers can collaborate on the same visual flows.

zydeco. a proof-of-concept programming language based on call-by-push-value

lambda-mu-mu-calculus. Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).

Adafruit_CircuitPython_SSD1306. Adafruit CircuitPython framebuf driver for SSD1306 or SSD1305 OLED displays. Not for use with displayio. See README.

fil-c. Fil-C: completely compatible memory safety for C and C++

moirai-kt. A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservices, serverless functions, and computed columns in databases.

htmz. html with targeted manipulation zones

Metatheory.jl. Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

ruler. Rewrite Rule Inference Using Equality Saturation

fuc. Modern, performance focused unix commands

persistent-scratch. Preserve the scratch buffer across Emacs sessions

shantell-sans. Shantell Sans, from Shantell Martin, is a marker-style font built for creative expression, typographic play, and animation.

stdinman. Pipe audio to discord, unix style

stan. 🕵️ Haskell STatic ANalyser

dejavu-fonts. Perl

cccl. CUDA Core Compute Libraries