ghxiao / nrdatalog2sql
Converting Non-Recursive Datalog to SQL
☆24Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for nrdatalog2sql
- Answering Datalog Queries with Unix Shell Commands☆23Updated 9 months ago
- Kanren with databases☆43Updated 3 months ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Updated 10 years ago
- An RDF TripleStore in Java☆46Updated 2 years ago
- Graphical programming editor☆33Updated 7 years ago
- ☆20Updated 6 years ago
- Datalog in PostgreSQL☆27Updated 9 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 6 years ago
- Awesome datalog libraries, tools and resources☆59Updated 4 years ago
- parsley is dead, long live parsnip!☆17Updated 10 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- ☆43Updated 3 weeks ago
- The propagator system☆41Updated 8 years ago
- a minimal implementation of incremental computation in Scheme☆35Updated 7 years ago
- microKanren implementation from DLS '16☆14Updated 6 years ago
- An implementation of microKanren in Shen☆9Updated 9 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆15Updated 4 years ago
- experimental computational medium and supporting tools☆22Updated this week
- FRP with 3DF and Differential Dataflow.☆25Updated 5 years ago
- This package contains a lightweight deductive database system in OCaml☆40Updated 2 years ago
- Concatenative relational interpreter in miniKanren☆22Updated 9 years ago
- Parsing with "disambiguation filters" in Clojure☆22Updated 7 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 8 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Persistent vector performance measurements and analysis☆22Updated 9 years ago
- Probabilistic miniKanren☆62Updated 9 years ago
- ☆11Updated 9 years ago