GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ langston-barrett
4 open source projects by langston-barrett
[ Open user page on Github ]
1.
CoverTranslator
A tool for formally verifying Haskell code in Agda
✭ 28
haskell
Yacc
shell
TeX
Agda
Makefile
2.
coq-big-o
A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
✭ 31
Coq
Nix
coq
mathematics
complexity
big-o
3.
write-yourself-a-scheme-in-agda
Like "Write Yourself a Scheme in 48 Hours", but in Agda
✭ 48
Agda
Nix
4.
reed-thesis
My undergradate thesis on coinductive types in univalent type theory
✭ 14
TeX
haskell
Coq
Nix
thesis
mathematics
type-theory
category-theory
univalence
unimath
univalent-foundations
1-4
of
4
user projects