kyagrd / tiperLinks
Type Inference Prototyping Engine from Relational specifications of type systems
☆11Updated 4 years ago
Alternatives and similar repositories for tiper
Users that are interested in tiper are comparing it to the libraries listed below
Sorting:
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 9 years ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- software archaeology of reflective towers of interpreters☆16Updated 2 weeks ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Concatenative relational interpreter in miniKanren