meteor / logic-solverLinks
☆147Updated 5 years ago
Alternatives and similar repositories for logic-solver
Users that are interested in logic-solver are comparing it to the libraries listed below
Sorting:
- Javascript Parser Combinator Library☆148Updated 10 years ago
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- ECMAScript verification with SMT solvers☆124Updated last year
- Javascript Generalized Parser Combinators☆148Updated 3 weeks ago
- Efficient encoder and decoder for arbitrary objects☆197Updated 6 years ago
- Javascript Hash Array Mapped Trie☆252Updated 3 years ago
- Deprecated. Use the updated version, apg-js, instead. JavaScript APG Version 2.0. APG is an ABNF Parser Generator. It generates recursive…☆33Updated 4 years ago
- Implementation of the relational algebra☆37Updated 8 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- JUnify ― JavaScript Unification Library☆50Updated 13 years ago
- Automatic-Differentiation in js☆34Updated 9 years ago
- An ECMAScript implementation of a Membrane, allowing users to dynamically hide, override, or extend objects in JavaScript with controlled…☆116Updated 2 months ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆177Updated last year
- Gets a list of differences between two javascript values.☆90Updated last year
- Powerful and practical functional abstractions for JavaScript and TypeScript. Functors, Monads, Traversables and all that jazz.☆89Updated 7 years ago
- Magical reactivity at your fingertips that helps you build complex applications quickly☆40Updated 7 years ago
- Unobtrusive, backwards compatible, syntactic sugar for Design by contract in JavaScript.☆74Updated 9 years ago
- Use flow type information at runtime. Useful for validations, mapping to an ORM, and more.☆70Updated 8 years ago
- A JavaScript propositional logic and resolution library☆61Updated 7 years ago
- JavaScript in JavaScript interpreter for better tools.☆139Updated 2 years ago
- Small library for describing HKTs in TypeScript☆32Updated 7 years ago
- ☆21Updated 8 years ago
- Contract library for JavaScript☆148Updated 9 years ago
- ☆86Updated 6 years ago
- ECMAScript derived programming language☆68Updated 10 years ago
- ⛹ Write Grammars for the Nearley Parser!☆84Updated 2 years ago
- Fork of HAMT with transactions and custom key types☆52Updated 8 years ago
- Babel plugin for overloading operators☆67Updated 7 years ago
- Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖☆252Updated 3 years ago
- 😴 Functional programming with lazy immutable iterables☆103Updated 3 weeks ago