All Git Users → langston-barrett

4 open source projects by langston-barrett

1. CoverTranslator
A tool for formally verifying Haskell code in Agda
2. coq-big-o
A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
3. write-yourself-a-scheme-in-agda
Like "Write Yourself a Scheme in 48 Hours", but in Agda
✭ 48
AgdaNix
4. reed-thesis
My undergradate thesis on coinductive types in univalent type theory
1-4 of 4 user projects