András Kovács
Results
22
repositories owned by
András Kovács
elaboration-zoo
742
Stars
46
Forks
742
Watchers
Minimal implementations for dependent type checking and elaboration
flat-maybe
18
Stars
0
Forks
18
Watchers
Rust-style strict Maybe in Haskell: no space/indirection overhead.
normalization-bench
59
Stars
6
Forks
59
Watchers
Lambda normalization and conversion checking benchmarks for various implementations
polynomial-model
32
Stars
0
Forks
32
Watchers
A polynomial model of a Martin-Löf type theory + a bit of game semantics
setoidtt
65
Stars
1
Forks
65
Watchers
Prototype implementations of systems based on setoid type theory