witheve / rfcs
Request for Comments on changes to Eve
☆27Updated 8 years ago
Alternatives and similar repositories for rfcs:
Users that are interested in rfcs are comparing it to the libraries listed below
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- Natural Language Datalog☆129Updated 7 years ago
- ☆45Updated 2 years ago
- Shen on javascript.☆69Updated 6 years ago
- Concurrency and Metaprogramming for JS☆261Updated 7 years ago
- Lisp-style language that compiles to JavaScript☆129Updated 11 months ago
- ☆53Updated 4 years ago
- Implementations of µKanren in assorted languages☆63Updated 8 years ago
- Documentation for Eve☆19Updated 2 years ago
- A library for doing stuff to other stuff.☆214Updated 11 years ago
- The best Prolog visualizer☆85Updated 2 years ago
- Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.☆104Updated 2 months ago
- Shem's powerful IDE.☆62Updated 4 years ago
- This is a library for "Overveld-style" constraint relaxation.☆67Updated 2 years ago
- miniKanren in the browser☆55Updated 9 years ago
- Clojure IDE for explorative and interactive development.☆67Updated 7 years ago
- Direct Manipulation of Turtle Graphics☆37Updated 3 years ago
- Edit trees, not text☆101Updated 8 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- Minimalistic, functional, JSON-formatted programming language☆20Updated 8 years ago
- Whalesong: Racket to JavaScript compiler☆147Updated 7 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 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…☆90Updated last year
- A little language for machines with speech acts☆110Updated 6 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆197Updated 8 years ago
- ramda logic☆44Updated 7 months ago
- A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.☆28Updated 11 years ago
- A concatenative programming language inspired by Manfred von Thun's Joy☆24Updated 10 years ago