alltom / propagatorsLinks
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
Sorting:
- Graphical programming editor☆33Updated 8 years ago
- Concurrency and Metaprogramming for JS☆262Updated 7 years ago
- The propagator system☆41Updated 10 years ago
- Houyhnhnm Computing☆21Updated 9 months ago
- ☆46Updated 2 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 9 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆53Updated 2 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- Mnemonic encoding of binary data, based on Oren Tirosh's mnemonic.c☆30Updated 3 years ago
- ☆53Updated 5 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- A programming argot☆57Updated last year
- Datalog query engine for PouchDB.☆24Updated 10 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆48Updated 8 years ago
- Javascript interpreters featuring web workers☆39Updated 9 years ago
- experimental computational medium and supporting tools☆23Updated this week
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 13 years ago
- WebAssembly version of Plorth programming language☆16Updated 7 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Collapsing Towers of Interpreters (in Scheme)☆59Updated 7 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Natural Language Datalog☆134Updated 8 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 13 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- Visualize Lisp in Three Dimensions☆62Updated 9 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 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
- R7RS compliant Scheme implementation in JavaScript (Work in Progress)☆18Updated 10 years ago
- A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.☆27Updated 12 years ago
- Edit trees, not text☆101Updated 8 years ago