ghxiao / nrdatalog2sql
Converting Non-Recursive Datalog to SQL
☆24Updated 8 years ago
Alternatives and similar repositories for nrdatalog2sql:
Users that are interested in nrdatalog2sql are comparing it to the libraries listed below
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- Graphical programming editor☆33Updated 8 years ago
- Awesome datalog libraries, tools and resources☆60Updated 5 years ago
- Answering Datalog Queries with Unix Shell Commands☆24Updated last year
- Kanren with databases☆43Updated 9 months ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- ☆46Updated 2 months ago
- Engines, queries, and data for dynamic Datalog computation☆124Updated 3 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- FRP with 3DF and Differential Dataflow.☆26Updated 5 years ago
- experimental computational medium and supporting tools☆22Updated last week
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- 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
- A programming argot☆58Updated last year
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆27Updated 6 years ago
- The propagator system☆41Updated 9 years ago
- a minimal implementation of incremental computation in Scheme☆34Updated 8 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Datalog in PostgreSQL☆28Updated 10 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Updated 11 years ago
- parsley is dead, long live parsnip!☆17Updated 10 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 years ago
- A Clojure dataflow library for building application models that run by themselves. It's alive!(tm) Starting out as a literal translation …☆21Updated 3 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- software archaeology of reflective towers of interpreters☆16Updated 7 months ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 7 years ago
- purple: compiling a reflective language☆32Updated 6 months ago
- Planning Network Visualization☆14Updated 3 years ago