Alternatives and similar repositories for eve-experiments:

Users that are interested in eve-experiments are comparing it to the libraries listed below

• witheve / rfcs
  Request for Comments on changes to Eve
  ☆27Updated 8 years ago
• soney / interstate
  ☆53Updated 4 years ago
• harc / nl-datalog
  Natural Language Datalog
  ☆129Updated 7 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• harc / constraint-based-spreadsheet
  ☆43Updated 2 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆67Updated 2 years ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆52Updated 2 years ago
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆26Updated 5 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• cdglabs / sketchpad14
  Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…
  ☆90Updated last year
• mixu / datalog.js
  A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.
  ☆28Updated 11 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆69Updated 6 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆156Updated last month
• manuel / wat-js
  Concurrency and Metaprogramming for JS
  ☆261Updated 7 years ago
• Glench / REPLugger
  Research prototype of a REPL/debugger
  ☆30Updated 6 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• asolove / microScopeKanren
  A trace visualization of MicroKanren logic programs, in JS.
  ☆14Updated 2 years ago
• lacuna / artifex
  a library for constructing geometric data
  ☆66Updated 5 years ago
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• pschanely / wildflower
  Minimalistic, functional, JSON-formatted programming language
  ☆20Updated 8 years ago
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆31Updated 5 years ago
• mkremins / flense
  Edit trees, not text
  ☆101Updated 8 years ago
• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 12 years ago
• amarty66 / lambdaway
  The {lambda way} project is a wiki, {lambda tank}, built as a thin overlay on top of any modern web browser, and devoted to writing, comp…
  ☆30Updated 3 years ago
• rbyte / Vogo
  Direct Manipulation of Turtle Graphics
  ☆37Updated 3 years ago
• mkremins / flense-nw
  Clojure code editor wrapping Flense
  ☆22Updated 9 years ago
• jduey / toccata
  A Clojure dialect that compiles to native executable using the Clang compiler
  ☆94Updated 6 years ago