thomasrebele / bashlog
Answering Datalog Queries with Unix Shell Commands
☆24Updated 11 months ago
Alternatives and similar repositories for bashlog:
Users that are interested in bashlog are comparing it to the libraries listed below
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- A microKanren framework for implementing constraints.☆19Updated 6 years ago
- Kanren with databases☆43Updated 6 months ago
- Template engine for ISO Prolog, based on Jinja and Tera☆15Updated last year
- The Hy Transformer☆80Updated 5 years ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Probabilistic miniKanren☆62Updated 9 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- ☆12Updated 9 years ago
- a minimal implementation of incremental computation in Scheme☆35Updated 7 years ago
- Leibniz - a Digital Scientific Notation☆33Updated last month
- Gershwin programming language☆75Updated 11 years ago
- Stack-based Programming in Clojure(script)☆78Updated 5 years ago
- Datalog based relational programming in Python.☆14Updated 2 years ago
- Source for my blog☆26Updated 2 years ago
- Parsing with "disambiguation filters" in Clojure☆22Updated 8 years ago
- A programming argot☆58Updated 10 months ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 4 years ago
- Union types and some other functional-y stuff for Hy☆50Updated 9 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- ☆42Updated last year
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Updated 4 years ago
- Data Structure Optimization for Functional Programs☆34Updated 5 years ago
- the Art of the Propagator☆51Updated 12 years ago
- purple: compiling a reflective language☆32Updated 4 months ago
- Libraries that clasp depends on☆13Updated 8 years ago
- exploratory programming for an object system in common lisp☆14Updated 9 years ago