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 6 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- Visually bootstrap a self-sustaining system, and take it from there.☆11Updated 3 months ago
- Kanren with databases☆43Updated 10 months ago
- The Hy Transformer☆83Updated 6 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- ☆12Updated 10 years ago
- Gershwin programming language☆76Updated 11 years ago
- A microKanren framework for implementing constraints.☆18Updated 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
- Template engine for ISO Prolog, based on Jinja and Tera☆17Updated last year
- A programming argot☆58Updated last year
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- Source for my blog☆26Updated 2 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Simple TODO web-app using Vert.x as server☆16Updated 8 years ago
- Leibniz - a Digital Scientific Notation☆34Updated last month
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Updated 4 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Don't Lisp, Talk!☆57Updated last year
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆27Updated 6 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Get psyched about mapping knowledge!☆30Updated last year
- an ersatz lisp for tiny birds. a code riff.☆43Updated last year
- Loghyc - a miniKanren implementation in Hy☆88Updated 5 years ago
- Clojure Version of APL Life☆9Updated 9 months ago
- ☆42Updated last year
- Data Structure Optimization for Functional Programs☆34Updated 6 years ago