James Haydon

OpenSpec. Spec-driven development (SDD) for AI coding assistants.

agent-shell-hud. Real-time agent-shell status overlay for Emacs via a floating dashboard.

emacs-workspace-hud. A floating workspace status HUD for Emacs, showing Git, LSP, and diagnostic state in a WebAssembly-powered egui card.

dwim-shell-command. Save your shell commands/scripts and apply from Emacs with ease.

winpulse. Temporarily highlight focused Emacs windows

emacs-skills. Emacs skills for coding agents

wasabi. A WhatsApp Emacs client powered by wuzapi and whatsmeow.

sheaf-lang-demo. An experiment to see what interpretation into (pre)sheaves categories look like

Handy. A free, open source, and extensible speech-to-text application that works completely offline.

shisad. Security-first AI agent daemon — the model proposes actions, the runtime decides what execute

Strata. Lean

tricorder. Haskell

ballerina-lang. The Ballerina Programming Language

signal-cli. signal-cli provides an unofficial commandline, JSON-RPC and dbus interface for the Signal messenger.

tagref.el. A minor mode to interact with the tagref CLI command

hx. An extremely fast Haskell package and project manager, written in Rust.

bhc. Basel Haskell Compiler - A next-generation Haskell compiler and runtime for 2026

vera. Vera: a programming language designed for LLMs to write

wasm-os. A research operating system that runs WebAssembly as the primary execution environment on bare metal

ai-code-interface.el. Unified Emacs interface supporting OpenAI Codex, Antigravity CLI, Claude Code, GitHub Copilot CLI, Opencode, and more

sclack. The best CLI client for Slack, because everything is terrible!

slack-cli. :neckbeard: Powerful Slack CLI via pure bash. Rich messaging, uploads, posts, piping, oh my!

slack-chat-api. Command-line interface for Slack

1subml. The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial application), recursive types, worst-case polynomial time type checking and much more.

voyd. A WebAssembly Language For Full Stack Web Development

cel-spec. Common Expression Language -- specification and binary representation

hs-temporal-sdk. Unofficial Temporal Haskell SDK

lean-lsp-mcp. Lean Theorem Prover MCP

anodized. Harden your Rust with specifications.

fir. Fir programming language

arc-agi-2. State-of-the-art ARC-AGI-2 solver by Confluence Labs

felix. Agda category theory library for denotational design

Collaboration. Play/learn/work with me

lambert. Publicly released code for the LAMBERT model

rocq-of-rust. Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

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

absurd. An experiment in durability

claudemacs. AI Pair Programming with Claude Code in Emacs

papersort. Sorts a bunch of PDF files using LLMs

hyperreals. Hyperreal arithmetic with SAT-backed lazy ultrafilters for non-standard analysis and automatic differentiation

sentinel. Haskell

solid. A declarative, efficient, and flexible JavaScript library for building user interfaces.

marmelade. Toy functional language in the ML spirit. With a bidirectional typer, Pratt-parsing and layout syntax over braces.

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

marvin-template. MARVIN is your personal AI assistant that can help you connect to the apps you need and handle your day.

salsa. A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

swipl-devel. SWI-Prolog Main development repository

haskell-agent. Haskell

blawx. A user-friendly web-based tool for Rules as Code.

purescript-deku. A PureScript web UI framework

Hazy. The Hazy Haskell Compiler

asai. 🩺 A library for compiler diagnostics

orderless. Emacs completion style that matches multiple regexps in any order

rigup.nix. AI agents and Nix: parametrable skills/instructions and tools, packaged together in a reproducible and modular fashion

agent-shell-sidebar. Emacs sidebar addon for agent-shell

agent-shell-manager. Emacs Lisp

claude-code. Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflows - all through natural language commands.

agent-shell. A native Emacs buffer to interact with LLM agents powered by ACP

eca. Editor Code Assistant (ECA) - AI pair programming capabilities agnostic of editor

plang-glossary.

build-your-own-x. Master programming by recreating your favorite technologies from scratch.

reflex-dom. Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pure functional interface.

miso. :ramen: A tasty Haskell web framework

rescript. ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

rock. Build system

manim. Animation engine for explanatory math videos

reanimate. Haskell library for building declarative animations based on SVG graphics

rclone. "rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files

back-button. Visual navigation through mark rings in Emacs

safe-json. Automatic versioning of JSON formats for Haskell data types (with backwards compatibility)

BosqueCore. TypeScript

BosqueLanguage. The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.

claude-code-ide.el. Claude Code IDE integration for Emacs

eca-emacs. Editor Code Assistant (ECA) integration for Emacs

prescient.el. ☄️ Simple but effective sorting and filtering for Emacs.

uv2nix. Uv2nix - Ingest uv workspaces using Nix [maintainer=@adisbladis]

cecli. cecli - a neat cli assistant

openapi3. OpenAPI 3.0 data model

OllamaHoles. LLM-powered typed-holes

binaryen. Optimizer and compiler/toolchain library for WebAssembly

1ml. 1ML prototype interpreter

lambda-n-ways. Benchmarks for capture-avoiding substitution

claude-code.el. Claude Code Emacs integration

what4. Symbolic formula representation and solver interaction library

treefmt. the formatter multiplexer [maintainers=@zimbatm,@brianmcgee]

uk-passport. Solving UKPassportApplication with Haskell

gemini-cli. An open-source AI agent that brings the power of Gemini directly into your terminal.

glu. The first compiler that imports code from any compiled language

goose. an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

pgroll. PostgreSQL zero-downtime migrations made easy

buck2. Build system, successor to Buck

clod. Efficiently manage Claude AI projects--save half off your API bill with this one weird trick

langchain-hs. Haskell implementation of LangChain

stlts. Synthesizing a trace that satisfies a given STL formula [CAV'24]

Chart.js. Simple HTML5 Charts using the <canvas> tag

iced-hs. Haskell wrapper for iced

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

doctest-parallel. Test interactive Haskell examples

casual. A collection of opinionated keyboard-driven user interfaces for various built-in Emacs modes.

hackage-search. An application that lets you search for anything on Hackage

svgedit. Powerful SVG-Editor for your browser

svelte-mode. Emacs major mode for Svelte.

haskell-symbolize. Implementation of an efficient thread-safe global Symbol Table, with garbage collection

hpack. hpack: A modern format for Haskell packages

BritCSS. Fixes CSS to use non-bastardised spellings.

topiary. Rust

aidermacs. AI Pair Programming in Emacs with Aider

polysubml-demo. A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference

love. LÖVE is an awesome 2D game framework for Lua.

tauri. Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

aztecs. A modular game engine and ECS for Haskell

neva. Next-Gen programming language for humans and AI. Hybrid visual/textual, parallelism by default, strict static typing, compiles to machine code and integrates with Go.

blueprint. Standard folder structure for Nix projects

eyg-lang. The safest scripting language for you, or your agent.

ultra-scroll. scroll Emacs like lightning

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

treefmt-nix. treefmt nix configuration

copilot.el. An unofficial Copilot plugin for Emacs.

disproject. Transient interface for managing and interacting with projects

tipex. A goto styled text editor for SvelteKit; based on TipTap; tipex

software-papers. 📚 A curated list of papers for Software Engineers

ghc. Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

lazyppl. A Haskell probabilistic programming library.

doctest. An implementation of Python's doctest for Haskell

svelte-codemirror-editor. A svelte component to create a CodeMirror 6+ editor

org-ai. Emacs as your personal AI assistant. Use LLMs such as ChatGPT or LLaMA for text generation or DALL-E and Stable Diffusion for image generation. Also supports speech input / output.

aider. aider is AI pair programming in your terminal

aider.el. AI assisted programming in Emacs with Aider

codeium.el. Free, ultrafast Copilot alternative for Emacs

linear-smc. Linear Types, Symmetric Monoidal Categories, and Tensors

ya. Я - extremely composable embeddable programming language

linear-extra. Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.

hyperbole. Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

outline. The fastest knowledge base for growing teams. Beautiful, realtime collaborative, feature packed, and markdown compatible.

ghcup-metadata. GHCup metadata repository

tagref. Tagref helps you manage cross-references in your code.

chatgpt-shell. A multi-llm Emacs shell (ChatGPT, Claude, DeepSeek, Gemini, Kagi, Ollama, Perplexity) + editing integrations

yomikun. Emacs Lisp

emacs-slack. slack client for emacs

ollama. Get up and running with Kimi-K2.6, GLM-5.1, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

ellama. Work with local and cloud LLMs from Emacs.

Thinking-Claude. Let your Claude able to think

heftia. A theory‑backed, type‑safe algebraic effects

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

debuggable. Utilities for making your applications more debuggable.

tinylangs. Real programming languages in 50 lines of code

bluefin. Haskell

lamdu. lamdu - towards the next generation IDE

hypertypes. Hypertypes - generic programming for heterogeneous recursive types

hastl. Production ready, modern web-application starter template using haskell and htmx

ada. A helpful AI assistant for Mercury engineers

ghc-musl. Docker image with GHC+musl for static executables

example-static-haskell-nix. Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release

organist. Control all your tooling from a single console

haskell-sdk. Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications

ghc-wasm-miso-examples. Haskell

pointfrip. pointfree interpreter with instance variables and classes, in lazarus

turnstyle. Turnstyle is a graphical esoteric programming language based on lambda calculus

pico. Minimal CSS Framework for semantic HTML

fzf. :cherry_blossom: A command-line fuzzy finder

metarocq. Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

lady-deirdre. Compiler front-end foundation technology.

malfunction. Malfunctional Programming

fdb-kubernetes-operator. A kubernetes operator for FoundationDB

emacs-which-key. Emacs package that displays available keybindings in popup

scryer-prolog. A modern Prolog implementation written mostly in Rust.

z3. The Z3 Theorem Prover

insane. Toy typechecker for Insanely Dependent Types

computational-algebra. General-Purpose Computer Algebra System as an EDSL in Haskell

narya. A proof assistant for higher-dimensional type theory

amazonka. A comprehensive Amazon Web Services SDK for Haskell.

pocketbase. Open Source realtime backend in 1 file

creatur. Framework for artificial life and other evolutionary algorithms.

mig. Lightweight and composable servers for Haskell

cleff. Fast and concise effect handlers

morpheus-graphql. Haskell GraphQL Api, Client and Tools

quint. An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

toysolver. My sandbox for experimenting with solver algorithms.

rye. Programming and interaction language. Flexible about syntax, strict about state.

combobulate. Structured Editing and Navigation in Emacs with Tree-Sitter

jsaddle. JavaScript interface that works with GHCJS or GHC

boreal. Haskell

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.

yew. Rust / Wasm framework for creating reliable and efficient web applications

dioxus. Fullstack app framework for web, desktop, and mobile.

ohmyzsh. 🙃 A delightful community-driven (with 2,500+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool that makes it easy to keep up with the latest updates from the community.

lego-lang. A kernel language specification

gptcomment. Rust

diff-check. Reminders to check things generated by git diffs

inko. A language for building concurrent software with confidence

atuin. ✨ Making your shell magical

flatparse. Fast parsing from bytestrings

TinyOutsideIn. Small implementation of OutsideIn(X) type checking algorithm

aith. Low level toy functional programming language with linear types, first class inline functions, levity polymorphism and regions.

excalidraw. Virtual whiteboard for sketching hand-drawn like diagrams

teyjus. An efficient implementation of the higher-order logic programming language Lambda Prolog

elpi. Embeddable Lambda Prolog Interpreter

makam. The Makam Metalanguage

zoxide. A smarter cd command. Supports all major shells.

emacs-lsp-booster. Emacs LSP performance booster