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
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 8 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- The propagator system☆41Updated 8 years ago
- Clojure code editor wrapping Flense☆22Updated 9 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- Finite domain constraint programming library in JS☆62Updated 2 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆15Updated 4 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated last year
- Mnemonic encoding of binary data, based on Oren Tirosh's mnemonic.c☆31Updated 2 years ago
- Explorations in durable persistent datastructures for Clojure.☆23Updated 7 years ago
- ☆53Updated 3 years ago
- The repository for the zine☆30Updated 9 years ago
- The resulting state or product of decomplecting: Clojure and ClojureScript libraries☆16Updated 9 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- Planning Network Visualization☆14Updated 2 years ago
- exploration of reflective architectures in Scheme☆20Updated 2 years ago
- Simple hlisp project setup.☆41Updated 11 years ago
- Concurrency and Metaprogramming for JS☆259Updated 6 years ago
- ☆41Updated last year
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- ☆20Updated 6 years ago
- Minimalistic stack for building robust Clojure HTTP services.☆16Updated 8 years ago
- web app for ipfs☆12Updated 8 years ago
- A Factor-inspired, concatenative DSL for Clojure☆97Updated 11 years ago
- Answering Datalog Queries with Unix Shell Commands☆23Updated 8 months ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- E language implementation targeting Common Lisp☆14Updated 12 years ago