thomasrebele / bashlogLinks
Answering Datalog Queries with Unix Shell Commands
☆24Updated last year
Alternatives and similar repositories for bashlog
Users that are interested in bashlog are comparing it to the libraries listed below
Sorting:
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 7 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- The Hy Transformer☆84Updated 6 years ago
- ProjecturEd is a generic purpose projectional editor.☆140Updated 2 years ago
- Kanren with databases☆44Updated last year
- the Art of the Propagator☆51Updated 12 years ago
- Sunrise on the Boxer Reconstruction Project☆51Updated this week
- ☆41Updated last year
- Immutable (a.k.a. persistent or pure-functional) deque, set, and map data structures in portable Scheme.☆14Updated 4 years ago
- Gershwin programming language☆76Updated 11 years ago
- ☆12Updated 10 years ago
- debugging biological networks to reach coherence, completeness and consistency☆47Updated last year
- experimental computational medium and supporting tools☆23Updated last month
- Natural Language Datalog☆134Updated 7 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Graphical programming editor☆33Updated 8 years ago
- A programming argot☆58Updated last year
- Loghyc - a miniKanren implementation in Hy☆89Updated 5 years ago
- miniKanren for Emacs☆113Updated 3 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- ☆74Updated 10 years ago
- explorations in core.logic☆118Updated last year
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- Constraint programming language embedded in Racket☆154Updated 3 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- A Clojure implementation of the logic programming language from chapter 4 of SICP☆68Updated 5 years ago
- Source for my blog☆26Updated last month
- Shen for JavaScript☆60Updated 11 months ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Probabilistic miniKanren☆65Updated 9 years ago