thomasrebele / bashlog
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
- Kanren with databases☆43Updated 7 months ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- Parsing with "disambiguation filters" in Clojure☆22Updated 8 years ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- experimental computational medium and supporting tools☆22Updated last week
- ☆42Updated last year
- An implementation of Racket's Scribble in Clojure☆22Updated 11 years ago
- Gershwin programming language☆75Updated 11 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
- Research project: Program synthesis using updated interface, template and types.☆14Updated 4 years ago
- Awesome datalog libraries, tools and resources☆60Updated 5 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- a numerical computing library for Clojure☆22Updated 7 years ago
- Loghyc - a miniKanren implementation in Hy☆88Updated 4 years ago
- Stack-based Programming in Clojure(script)☆78Updated 5 years ago
- Minimal Clojure-like interpreter with FEXPRs☆16Updated 12 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆27Updated 6 years ago
- The Hy Transformer☆81Updated 5 years ago
- A graphics library for producing Racket picts in a MetaPost/TikZ style.☆67Updated 3 months ago
- whitespace-aware Clojure source code manipulation.☆18Updated 7 years ago
- Graphical programming editor☆33Updated 8 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- ☆20Updated 6 years ago
- Extensible Clojure☆106Updated 9 years ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- RDF for Clojure, integrates with Commons RDF, Jena, RDF4J☆14Updated 6 years ago