joshcox / kanrenLinks
Port of microKanren to JavaScript.
☆25Updated 3 years ago
Alternatives and similar repositories for kanren
Users that are interested in kanren are comparing it to the libraries listed below
Sorting:
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- ☆53Updated 4 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Updated 2 years ago
- ramda logic☆44Updated 10 months ago
- Fork of HAMT with transactions and custom key types☆52Updated 8 years ago
- Simple OCaml Development Workflow on CommonJS☆97Updated 6 years ago
- Higher-Order Contracts for JavaScript☆14Updated 8 years ago
- A demonstration of a production-suitable build pipeline for client-side BuckleScript☆28Updated 6 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- Experiment in structural code editing☆102Updated last year
- A statically typed Lisp dialect with algebraic effect system compiling to Javascript☆41Updated 2 years ago
- ECMAScript derived programming language☆68Updated 10 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- Composable, immutable getters and setters.☆109Updated 9 years ago
- Quick and Dirty development builds☆19Updated 8 years ago
- OBSOLETE! Check out https://github.com/ryyppy/reason-tictactoe INSTEAD☆23Updated 7 years ago
- Naturally expressive functional composition☆26Updated 10 years ago
- Build UI declaratively with Datalog.☆134Updated 2 years ago
- ☆27Updated 10 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- An implementation of emcascript interfaces in Sweet.js.☆33Updated 7 years ago
- An example of using the lisp syntax for reason/ocaml☆36Updated 6 years ago
- A generic zipper library for JavaScript☆29Updated 9 years ago
- Another attempt to realize my programming language☆23Updated 5 months ago
- JSON combinator library for BuckleScript/Reason☆38Updated 5 years ago
- ☆28Updated 6 years ago
- 📖 Reason Developer Network☆20Updated 8 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆177Updated last year
- Data Structures Memory Usage in JavaScript☆57Updated 2 years ago
- Store immutable facts and query them with datalog.☆48Updated 2 years ago