Reed Mullanix

refinery. ⛏️ A refinement proof framework for haskell

tactic-haskell. Tactic Metaprogramming in Haskell

SteamCurses. A Basic NCurses Client for Steam

omit-generics. Omit fields for instance deriving

muprl. A small NuPRL style proof assistant

teenytt. A Teeny Type Theory

agda-tic-tac-toe. Tic Tac Toe, formalized in Agda

coolttviz. Rust

cubical-categories. Category theory formalized in cubical agda

iso. A reversible language

agda-sgd. Experiments in Synthetic Differential Geometry

FSharp.Data.Dataloader. A F# Library for simplifying access to remote data, with caching and batching

lean4-raytrace. A simple raytracer written in lean

agda-category-theory-exercises. A series of exercises for learning Category Theory in Agda

graphiql.el. Graphql development environment for emacs

MLogic. An implementation of a mini-ML written entirely in prolog

agda-higher-categories. Experiments in Higher Category Theory in Agda

dstext. Dark Souls death text on the command line

lean-rz. Realizability theory in lean

agda-groups. Group Theory in Agda, Done Categorically

agda-evil-emacs. Emacs + Agda for Vim users

cooltt-categories. Categories ala Cooltt

shapedtt. OCaml

forest. My personal wiki

agda-partial-setoid. An implementation of partial setiods in agda

quasilib. Common Lisp

advent-of-code-2022. C

clphs. Constraint Logic Programming for Haskell

agda-bialgebra-sorting. Bialgebraic Sorting Algorithms

BigMacs. My personal emacs config

TenPointsToHappiness. A motiviational app that allows you to track good things you have done for a day.

notes-on-progams-equals-proof. A series of formalizations based of the book "Program = Proof" by Samuel Miram

lyndon-mode. Display the lyndon factorization of an emacs buffer

mumacs. A (relatively small) emacs configuration.

.emacs.d. My Emacs Configuration

stlc. This aims to be the most pretentious implementation of stlc in existence

teamcity-el. Teamcity integration for emacs

Socks.fs. A functional socket library for F#

dotfiles. Linux dotfiles

pine. A small, dependently typed language