5 results found Sort:

noprompt
meander noprompt
55
932
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
148
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
pythological
unification pythological
7
45
other
5
Straightforward unification in Python that's extensible via generic functions.
python unification logic-programming multiple-dispatch
Created 2019-06-26
106 commits to main branch, last one 4 months ago