neilgall / KotlinKanrenLinks
Port of SwiftyKanren to Kotlin
☆17Updated 4 years ago
Alternatives and similar repositories for KotlinKanren
Users that are interested in KotlinKanren are comparing it to the libraries listed below
Sorting:
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- Port of the Shen programming language to the Graal runtime☆26Updated 7 years ago
- Kanren with databases☆43Updated 10 months ago
- Java-based lightweight Prolog virtual machine☆34Updated 11 months ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Clojure program to exhaustively search for optimal Java programs☆20Updated 12 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- ☆71Updated 5 years ago
- Prolog programming for the Java platform.☆38Updated last year
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 5 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- software archaeology of reflective towers of interpreters☆16Updated 2 weeks ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆27Updated 6 years ago
- Probabilistic miniKanren☆62Updated 9 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- ☆48Updated last month
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Java <-> XSB Prolog bridge library☆12Updated 4 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆27Updated 7 years ago
- Lua/Terra + Java Native Interface☆21Updated 8 years ago
- purple: compiling a reflective language☆32Updated 8 months ago
- Simple TODO web-app using Vert.x as server☆16Updated 8 years ago
- Venice, a Clojure inspired sandboxed Lisp dialect with Java interoperability serving as a safe scripting language.☆37Updated last week
- Relational Programming in miniKanren☆52Updated 9 years ago