Alternatives and similar repositories for bashlog

Users that are interested in bashlog are comparing it to the libraries listed below

• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆57Updated 7 years ago
• projectured / projectured
  ProjecturEd is a generic purpose projectional editor.
  ☆142Updated 3 years ago
• brandonwillard / loghyc
  Loghyc - a miniKanren implementation in Hy
  ☆89Updated 5 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆83Updated 6 years ago
• namin / propagators
  the Art of the Propagator
  ☆52Updated 12 years ago
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆24Updated 8 years ago
• jasonhemann / microKanren-DLS-16
  microKanren implementation from DLS '16
  ☆14Updated 7 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• LeifAndersen / interactive-syntax-clojure
  ☆42Updated last year
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆52Updated 3 weeks ago
• ekoontz / psqlog
  Datalog in PostgreSQL
  ☆28Updated 10 years ago
• manuel / wat-js
  Concurrency and Metaprogramming for JS
  ☆261Updated 7 years ago
• darius / cant
  A programming argot
  ☆58Updated last year
• synchrony / smsn-why
  Get psyched about mapping knowledge!
  ☆30Updated 2 years ago
• wayfarerdb / tree-talk
  exploratory programming for an object system in common lisp
  ☆14Updated 10 years ago
• gershwin / gershwin
  Gershwin programming language
  ☆76Updated 11 years ago
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆18Updated 7 years ago
• shikantaza / pLisp
  Don't Lisp, Talk!
  ☆57Updated last year
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆47Updated last year
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆154Updated 4 years ago
• refi64 / hyskell
  Union types and some other functional-y stuff for Hy
  ☆51Updated 9 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated last month
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 7 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆65Updated 9 years ago
• harc / nl-datalog
  Natural Language Datalog
  ☆134Updated 7 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 5 months ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• frenchy64 / stream-fusion
  ☆12Updated 10 years ago
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆60Updated last year