Tricorder provides simple, fast, focused feedback when hacking on Haskell (with or without LLM agents).

♟️ The game of chess

Unofficial and untested binary distributions of GHC on Alpine Linux. Multi-arch (linux/amd64, linux/arm64/v8) GHC musl docker images. Please submit Pull Requests to the GitLab repository. Mirror of

Server and client code for the Elm website.

VS Code extension for the Lean 4 programming language and theorem prover

Theorem Proving in Lean 4

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

The user home repository for the Mathematics in Lean tutorial.

The math library of Lean 4

🥡 Try miso in the browser

The game of blockout

🍱 A sample application for getting started quickly

Parallel S3 and local filesystem execution tool.

Haskell compiler as a series of reusable libraries

A modern step-through debugger for GHC Haskell

Number theory: primes, arithmetic functions, modular computations, special sequences

SQL-first, type-safe PostgreSQL client code generator

Less - text pager

Tool for downloading audio files for Anki decks

Simple, beautiful CLI output

Library for generating Elm syntax from Haskell in a scope-safe way

A layout algorithm for drawing simple string diagrams a la https://graphicallinearalgebra.net/

A concurrent mutable ring-buffer

Robust Speech Recognition via Large-Scale Weak Supervision

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 workflo…

Repo for "Large Language Model Reasoning Failures"