awto / mfjs-logic
Logical programming in JavaScript
☆15Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for mfjs-logic
- A JavaScript AST optimizer☆18Updated 11 years ago
- A simple Prolog interpreter written with javascript☆16Updated 7 years ago
- Fork of HAMT with transactions and custom key types☆51Updated 7 years ago
- prolog interpreter in javascript☆81Updated 7 years ago
- Algorithm W implementation for type inference and parametric polymorphism in Vanilla JS☆17Updated 7 years ago
- ☆53Updated 3 years ago
- A Javascript implementation of Prolog☆16Updated 8 years ago
- unframework for universal uncomponents - use your uncomponents with no boundaries☆31Updated last month
- Deliver the most recently seen event to new observers☆30Updated last year
- ramda logic☆43Updated last month
- The many experiments that have led to Eve in its current form☆65Updated 5 years ago
- Finite domain constraint programming library in JS☆62Updated 2 years ago
- Write functional view components with incremental DOM render☆10Updated 8 years ago
- 😴 Functional programming with lazy immutable iterables☆103Updated 3 weeks ago
- ☆41Updated last year
- JUnify ― JavaScript Unification Library☆50Updated 12 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Updated last year
- Functional Zipper for manipulating JSON☆55Updated 5 years ago
- Experimental continuous Behaviors for most.js☆32Updated 4 years ago
- Simple prolog interpreter using ES6 generators☆62Updated 9 years ago
- A template language for incremental-dom or DSL for javascript views☆20Updated 6 years ago
- Documentation for Eve☆19Updated last year
- Estates is a library for first-class state and observable properties☆12Updated 6 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 11 years ago
- An Efficient JavaScript Unification Library☆19Updated 9 years ago
- Single repository for all packages related to Lucidity app☆13Updated 7 years ago
- A fast, pure javascript triple store implementation, also useful as a graph database.☆61Updated 3 years ago