Alternatives and similar repositories for eve-experiments:

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

• harc / nl-datalog
  Natural Language Datalog
  ☆129Updated 7 years ago
• soney / interstate
  ☆53Updated 4 years ago
• witheve / rfcs
  Request for Comments on changes to Eve
  ☆27Updated 8 years ago
• harc / constraint-based-spreadsheet
  ☆43Updated last year
• witheve / eve-native
  ☆188Updated 5 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆52Updated 2 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆67Updated 2 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆155Updated this week
• mkremins / flense-nw
  Clojure code editor wrapping Flense
  ☆22Updated 9 years ago
• rbyte / Vogo
  Direct Manipulation of Turtle Graphics
  ☆37Updated 3 years ago
• fkettelhoit / bottom-up-datalog-js
  A very short and simple implementation of (bottom-up) Datalog in JS
  ☆30Updated 11 years ago
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆26Updated 5 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 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
• gravicappa / shen-js
  Shen on javascript.
  ☆69Updated 6 years ago
• jamii / strucjure
  A library for doing stuff to other stuff.
  ☆213Updated 11 years ago
• jdormit / sicp-logic
  A Clojure implementation of the logic programming language from chapter 4 of SICP
  ☆68Updated 5 years ago
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• pschanely / wildflower
  Minimalistic, functional, JSON-formatted programming language
  ☆20Updated 7 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 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
• asolove / microScopeKanren
  A trace visualization of MicroKanren logic programs, in JS.
  ☆14Updated 2 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago
• 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
• mullr / micrologic
  A literate clojure implementation of microKanren
  ☆68Updated 5 years ago
• mkremins / flense
  Edit trees, not text
  ☆101Updated 7 years ago
• aaron-lebo / prose
  a simple language inspired by Io and Ioke that compiles to Clojure and ClojureScript
  ☆52Updated 9 years ago