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 6 years ago
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆18Updated 6 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 9 months ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated last week
• drmeister / legacy-externals-clasp
  Libraries that clasp depends on
  ☆13Updated 8 years ago
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆24Updated 8 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆83Updated 6 years ago
• frenchy64 / stream-fusion
  ☆12Updated 10 years ago
• gershwin / gershwin
  Gershwin programming language
  ☆76Updated 11 years ago
• hpi-swa / Gramada
  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
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆46Updated last year
• stamourv / sexp-diff
  S-expression-aware diffing tool based on Levenshtein-like tree edit distance.
  ☆22Updated 4 years ago
• yardsale8 / hymagic
  ☆34Updated 11 years ago
• LeifAndersen / interactive-syntax-clojure
  ☆42Updated last year
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• k-tsushima / Shin-Barliman
  Research project: Program synthesis using updated interface, template and types.
  ☆14Updated 4 years ago
• fjarri / clojure-scribble
  An implementation of Racket's Scribble in Clojure
  ☆22Updated 11 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆58Updated 6 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated 3 weeks ago
• greghendershott / blog
  Source for my blog
  ☆26Updated 2 years ago
• bennn / iPoe
  Interactive POetry Editor
  ☆28Updated 3 years ago
• soegaard / metapict
  A graphics library for producing Racket picts in a MetaPost/TikZ style.
  ☆68Updated 5 months ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago
• jasonhemann / microKanren-DLS-16
  microKanren implementation from DLS '16
  ☆14Updated 6 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 6 months ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆60Updated 5 years ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 7 years ago
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆34Updated 6 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago