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)☆59Updated 7 years ago
- The Hy Transformer☆83Updated 6 years ago
- Kanren with databases☆44Updated last year
- ProjecturEd is a generic purpose projectional editor.☆142Updated 3 years ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 5 years ago
- A programming argot☆57Updated last year
- Leibniz - a Digital Scientific Notation☆36Updated 8 months ago
- debugging biological networks to reach coherence, completeness and consistency☆48Updated last year
- Research project: Program synthesis using updated interface, template and types.☆14Updated 5 years ago
- Probabilistic miniKanren☆67Updated 10 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 7 years ago
- the Art of the Propagator☆52Updated 13 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 8 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 9 years ago
- Natural Language Datalog☆136Updated 8 years ago
- combined object/lambda architcture☆25Updated 16 years ago
- Racket-based implementation of Adapton☆24Updated 6 years ago
- the 7 gui project☆57Updated last year
- Constraint programming language embedded in Racket☆154Updated 4 years ago
- A free, fast, public domain data science studio☆131Updated last year
- Union types and some other functional-y stuff for Hy☆52Updated 9 years ago
- Gershwin programming language☆76Updated 11 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 13 years ago
- ☆42Updated last year
- ☆74Updated 11 years ago
- Sunrise on the Boxer Reconstruction Project☆55Updated this week
- Libraries that clasp depends on☆13Updated 9 years ago
- ☆12Updated 10 years ago
- The best Prolog visualizer☆86Updated 3 years ago
- Polyglot, document-based computing environment. Leisure is very much in flux, right now; please check the readme, below. For a taste of…☆115Updated 2 years ago