awto / mfjs-logic
Logical programming in JavaScript
☆15Updated 8 years ago
Alternatives and similar repositories for mfjs-logic:
Users that are interested in mfjs-logic are comparing it to the libraries listed below
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- The building blocks of JavaScript programs☆32Updated 7 years ago
- Functional Zipper for manipulating JSON☆55Updated 6 years ago
- JUnify ― JavaScript Unification Library☆50Updated 12 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Updated 2 years ago
- unframework for universal uncomponents - use your uncomponents with no boundaries☆31Updated this week
- Fork of HAMT with transactions and custom key types☆51Updated 8 years ago
- Algorithm W implementation for type inference and parametric polymorphism in Vanilla JS☆17Updated 7 years ago
- Experimental continuous Behaviors for most.js☆32Updated 5 years ago
- A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.☆28Updated 11 years ago
- miniKanren for JavaScript☆26Updated last year
- ramda logic☆44Updated 7 months ago
- A simple Prolog interpreter written with javascript☆16Updated 7 years ago
- Algebraic data types for JavaScript using Sweet.js macros☆93Updated 10 years ago
- A template language for incremental-dom or DSL for javascript views☆20Updated 7 years ago
- Powerful and practical functional abstractions for JavaScript and TypeScript. Functors, Monads, Traversables and all that jazz.☆89Updated 6 years ago
- Demo of CSP as application architecture for client-side web☆12Updated 9 years ago
- A top down parser that can handle left recursion by using a stack and backtracking☆17Updated 9 years ago
- Prolog interpreter for node.js☆49Updated 12 years ago
- ECMAScript derived programming language☆68Updated 9 years ago
- ☆53Updated 4 years ago
- Compact Cursor Library built on top of the excellent seamless-immutable☆56Updated 6 years ago
- Finite Domain Constraint Solver☆29Updated 7 years ago
- A JavaScript AST optimizer☆18Updated 12 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- Store immutable facts and query them with datalog.☆48Updated last year
- JavaScript implementation of modified version of miniKanren☆33Updated 5 years ago
- Extends gunDB with the ability to chain into most.js observables.☆14Updated 8 years ago
- A persistent, typed objects implementation for node.js and the browser.☆23Updated 9 years ago