Michael Peyton Jones

nixos-config. Nix

abstract-machine-debuggers. Haskell

CIPs. JavaScript

hsmods-logic. Datalog formalization of the Haskell module system

lambda-pi. Haskell

sphinxcontrib-haddock. Tools for using Haddock with Sphinx

cabal-build-tool-depends-solver-repro. Haskell

cabal-bug-package-db. Haskell

schemehs. Write Yourself a Scheme in 48 Hours

plutus. Haskell

datalog. Haskell

caching-calculus. Haskell

termsandtruthconditions. It's a blog

aoc-rust. Rust