thomasrebele / bashlog
Answering Datalog Queries with Unix Shell Commands
☆23Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for bashlog
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- The Hy Transformer☆81Updated 5 years ago
- Awesome datalog libraries, tools and resources☆58Updated 4 years ago
- Kanren with databases☆43Updated 3 months ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 5 years ago
- Datalog based relational programming in Python.☆14Updated last year
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- purple: compiling a reflective language☆29Updated 3 weeks ago
- Clojure Version of APL Life☆9Updated 3 months ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 4 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Union types and some other functional-y stuff for Hy☆50Updated 8 years ago
- A programming argot☆58Updated 6 months ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 5 years ago
- Don't Lisp, Talk!☆58Updated 6 months ago
- Datalog in PostgreSQL☆26Updated 9 years ago
- Gershwin programming language☆75Updated 10 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Libraries that clasp depends on☆13Updated 8 years ago
- Leibniz - a Digital Scientific Notation☆34Updated 2 months ago
- JavaScript implementation of modified version of miniKanren☆31Updated 5 years ago
- debugging biological networks to reach coherence, completeness and consistency☆43Updated 8 months ago
- Source for my blog☆26Updated last year
- ☆43Updated last week
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆15Updated 4 years ago
- Probabilistic miniKanren☆61Updated 9 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆11Updated 9 years ago