4 results found Sort:

noprompt
meander noprompt
55
928
mit
32
Tools for transparent data transformation
unification substitution term-rewriting pattern-matching logic-programming program-transformation
Created 2017-10-27
1,441 commits to epsilon branch, last one about a year ago
migamake
json-autotype migamake
23
149
unknown
8
Automatic Haskell type inference from JSON input
elm json parse union parser hackage haskell inference unification json-autotype hacktoberfest2019
Created 2014-05-01
589 commits to master branch, last one 2 years ago
NullVoxPopuli
drawers NullVoxPopuli
7
147
mit
8
Group related classes together. No more silos. A solution to rails dystopia.
silo rails drawer resource unification architecture
Created 2016-09-01
87 commits to master branch, last one 6 years ago
brendanzab
rust-nbe-for-mltt brendanzab
6
93
mit
12
Normalization by evaluation for Martin-Löf Type Theory with dependent records
rust type-system type-theory unification type-checker type-inference dependent-types debruijn-indices dependent-records semantic-typechecking dependent-record-types bidirectional-typechecking normalization-by-evaluation
Created 2018-11-20
421 commits to master branch, last one 2 years ago