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:
- A DSL for runtime code generation in racket☆67Updated 3 years ago
- Kanren with databases☆44Updated last year
- a minimal implementation of incremental computation in Scheme☆35Updated 8 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Auto define Racket bindings to C by parsing header files.☆30Updated 3 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- Manipulating racket bytecode☆25Updated 3 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆31Updated 2 months ago
- ☆25Updated 2 years ago
- The package manager for Cyclone Scheme.☆33Updated last year
- Collection of Utilities for Gerbil Scheme☆43Updated last year
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- Probabilistic miniKanren☆64Updated 9 years ago
- Quickcheck Clone implemented in Racket☆31Updated last year
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- minikanren mips assembler/disassembler☆33Updated 10 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆54Updated 9 years ago
- Easy scripting for DrRacket☆18Updated 2 months ago
- A Scala-style magic function application form☆43Updated 3 years ago
- A data frame implementation for Racket☆37Updated last week
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆135Updated last month
- The propagator system☆41Updated 9 years ago
- ☆48Updated 2 months ago
- Erlang-style binaries/bitstrings for Racket☆32Updated 4 years ago
- A server, client and UI for remotely debugging Racket applications.☆30Updated 3 weeks ago