nathanielrb / ftmicroKanrenLinks
First-order temporal logic programming with microKanren
☆18Updated 7 years ago
Alternatives and similar repositories for ftmicroKanren
Users that are interested in ftmicroKanren are comparing it to the libraries listed below
Sorting:
- Kanren with databases☆44Updated last year
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 7 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆31Updated 3 months ago
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- a minimal implementation of incremental computation in Scheme☆36Updated 8 years ago
- Reason about Term Rewriting Systems☆16Updated 3 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆20Updated last year
- A DSL for runtime code generation in racket☆67Updated 3 years ago
- Prolog Reverse Proxy☆19Updated 7 years ago
- Boolean Constraint Solving in Prolog☆46Updated 8 months ago
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- Art of Prolog Code☆36Updated 6 years ago
- ☆48Updated 2 weeks ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Auto define Racket bindings to C by parsing header files.☆30Updated 3 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆16Updated 7 years ago
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 years ago
- ☆56Updated 3 months ago
- Operations with matrices, SWI pack☆13Updated last year
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- Pawns functional/imperative programming language compiler etc☆10Updated 4 months ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 16 years ago
- ☆32Updated last year
- Racket bindings for Z3☆20Updated 13 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆135Updated 2 months ago