alltom / propagators
JavaScript implementation of Radul and Sussman's Propagator model
☆15Updated 11 years ago
Alternatives and similar repositories for propagators:
Users that are interested in propagators are comparing it to the libraries listed below
- Graphical programming editor☆33Updated 8 years ago
- ☆43Updated last year
- The many experiments that have led to Eve in its current form☆65Updated 6 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated 2 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.☆28Updated 11 years ago
- Datalog query engine for PouchDB.☆24Updated 9 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- The propagator system☆41Updated 9 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- Mnemonic encoding of binary data, based on Oren Tirosh's mnemonic.c☆31Updated 2 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Request for Comments on changes to Eve☆27Updated 8 years ago
- Planning Network Visualization☆14Updated 3 years ago
- Simple hlisp project setup.☆41Updated 12 years ago
- ☆53Updated 4 years ago
- Natural Language Datalog☆129Updated 7 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- experimental computational medium and supporting tools☆22Updated this week
- This is a library for "Overveld-style" constraint relaxation.☆67Updated last year
- A programming argot☆58Updated 10 months ago
- Probabilistic miniKanren☆61Updated 9 years ago
- Concurrency and Metaprogramming for JS☆259Updated 7 years ago
- Parsing with "disambiguation filters" in Clojure☆22Updated 8 years ago
- A Factor-inspired, concatenative DSL for Clojure☆97Updated 11 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- FRP with 3DF and Differential Dataflow.☆26Updated 5 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago