Alternatives and similar repositories for lotsawa

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

• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆84Updated 2 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 2 years ago
• propella / prolog
  a prolog
  ☆29Updated 14 years ago
• mndrix / mavis
  Optional types for Prolog
  ☆11Updated 6 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 3 weeks ago
• thetrime / proscript2
  If at first you don't succeed
  ☆12Updated 4 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 14 years ago
• kwantam / lviv
  stack-based RPN functional programming language
  ☆53Updated 7 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• SWI-Prolog / pengines
  Pengine and Prolog scratchpad
  ☆58Updated 4 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆23Updated 2 months ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆103Updated 9 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• jeffreykegler / Marpa--R2
  Parse any language you can describe in BNF
  ☆160Updated last year
• prova / prova
  ☆36Updated last year
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• fnogatz / tap
  Write TAP tests with SWI-Prolog
  ☆12Updated 2 years ago
• tonyg / js-vau
  Kernel-like interpreter
  ☆25Updated 9 months ago
• tca / veneer
  miniKanren in the browser
  ☆55Updated 9 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• thetrime / proscript
  A Javascript implementation of Prolog
  ☆16Updated 9 years ago
• eriktmueller / daydreamer
  DAYDREAMER goal-based agent
  ☆77Updated 3 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago