witheve / eve-experimentsLinks
The many experiments that have led to Eve in its current form
☆64Updated 6 years ago
Alternatives and similar repositories for eve-experiments
Users that are interested in eve-experiments are comparing it to the libraries listed below
Sorting:
- Natural Language Datalog☆132Updated 7 years ago
- ☆46Updated 2 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- This is a library for "Overveld-style" constraint relaxation.☆68Updated 2 years ago
- ☆53Updated 4 years ago
- The best Prolog visualizer☆84Updated 2 years ago
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆92Updated last year
- A toolkit for experimenting with new kinds of programming interfaces.☆200Updated 8 years ago
- Request for Comments on changes to Eve☆27Updated 8 years ago
- ☆189Updated 5 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- a library for constructing geometric data☆66Updated 6 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.☆106Updated 5 months ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Updated 2 years ago
- syn·di·cate: a language for interactive programs☆159Updated 4 months ago
- FRP with 3DF and Differential Dataflow.☆26Updated 5 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- Edit trees, not text☆101Updated 8 years ago
- Shen on javascript.☆70Updated 6 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- Collaboration for reinventing software in human terms☆174Updated 7 years ago
- A little language for machines with speech acts☆110Updated 6 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆47Updated 7 years ago
- A Clojure implementation of the logic programming language from chapter 4 of SICP☆68Updated 5 years ago
- The Omni Programming Language☆34Updated 7 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- 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…☆29Updated 4 years ago
- Graphical programming editor☆33Updated 8 years ago