Dev environments for numerous languages based on Nix flakes [maintainer=@lucperkins]

Nix and Haskell in production

Fast, collaborative live terminal sharing over the web

Visualize inputs on the NES with more accuracy than anything else out there.

Tesseract Open Source OCR Engine (main repository)

Library of 40+ independent Lua modules improving Neovim experience with minimal effort

Experimental implementation of Cubical Type Theory

Blog post previews in need of peer review

Resources for learning and using recursion schemes.

HoTTEST Summer School materials

A List of Foundational Haskell Papers

Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me

An introduction to programming language theory in Agda

Theory and Applications of Lenses and Optics

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT

⛏️ A refinement proof framework for haskell

Agda is a dependently typed programming language / interactive theorem prover.

Official Haskell IDE support via the language server protocol (LSP)

A quick tool for generating Gmail filters from YAML rules.

Program Synthesis Course

An incremental parsing system for programming tools

A little course to learn about some of the more obscure GHC extensions.

Abstract Algebra for Scala

My personal LaTeX template, with sensible formatting and commands

my latex package

Twist 'em up! Turn 'em 'round!

These are my dotfiles. I hope you find something new in them that makes you happy!