alltom / propagators
JavaScript implementation of Radul and Sussman's Propagator model
☆15Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for propagators
- Graphical programming editor☆33Updated 7 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- The propagator system☆41Updated 8 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated last year
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- Concurrency and Metaprogramming for JS☆259Updated 6 years ago
- WebAssembly version of Plorth programming language☆16Updated 6 years ago
- Explorations in durable persistent datastructures for Clojure.☆23Updated 7 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Datalog query engine for PouchDB.☆24Updated 9 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- microKanren implementation from DLS '16☆14Updated 6 years ago
- web app for ipfs☆12Updated 8 years ago
- A pure dataflow aka reactive library for building Clojure or ClojureScript models that run by themselves (like Rube Goldberg Machines). I…☆22Updated 8 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 8 years ago
- Store immutable facts and query them with datalog.☆48Updated last year
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- An RDF TripleStore in Java☆46Updated 2 years ago
- The Linda process coordination language written in Clojure.☆27Updated 9 years ago
- miniKanren in the browser☆56Updated 8 years ago
- Javascript interpreters featuring web workers☆37Updated 8 years ago
- A clojure implementation of parsing with derivatives☆16Updated 10 years ago
- Planning Network Visualization☆14Updated 2 years ago
- ☆20Updated 6 years ago
- Edit trees, not text☆101Updated 7 years ago
- The many experiments that have led to Eve in its current form☆65Updated 5 years ago
- Get psyched about mapping knowledge!☆30Updated last year
- A little Forth-like language implemented in Clojure☆21Updated 4 years ago
- ☆53Updated 3 years ago
- A zipper library for Clojure that navigates graph structures☆19Updated 12 years ago