Owner · AndrasKovacs

AndrasKovacs

AndrasKovacs's tracked open-source repos, sorted by stars.

2 repos

#1
elaboration-zoo ↗@AndrasKovacsHaskell
Minimal implementations for dependent type checking and elaboration
★ 797+2Star change over the last 7 days
#2
smalltt ↗@AndrasKovacsLean
Demo for high-performance type theory elaboration
★ 600+2Star change over the last 7 days