Reed Mullanix
Results
11
repositories owned by
Reed Mullanix
tactic-haskell
57
Stars
0
Forks
Watchers
Tactic Metaprogramming in Haskell
refinery
68
Stars
2
Forks
Watchers
⛏️ A refinement proof framework for haskell
cubical-categories
20
Stars
0
Forks
Watchers
Category theory formalized in cubical agda
iso
23
Stars
0
Forks
Watchers
A reversible language
muprl
32
Stars
1
Forks
Watchers
A small NuPRL style proof assistant
omit-generics
37
Stars
0
Forks
Watchers
Omit fields for instance deriving