meteor / logic-solver

Related projects ⓘ

Alternatives and complementary repositories for logic-solver

• jldupont / prolog.js
  prolog interpreter in javascript
  ☆81Updated 7 years ago
• iffsid / ad.js
  Automatic-Differentiation in js
  ☆35Updated 8 years ago
• codemix / contractual
  Unobtrusive, backwards compatible, syntactic sugar for Design by contract in JavaScript.
  ☆72Updated 8 years ago
• bramstein / junify
  JUnify ― JavaScript Unification Library
  ☆50Updated 12 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated 5 months ago
• benjamn / arson
  Efficient encoder and decoder for arbitrary objects
  ☆195Updated 6 years ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆148Updated 9 years ago
• RyanMarcus / vulcan
  A JavaScript propositional logic and resolution library
  ☆59Updated 7 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆148Updated 9 years ago
• funkia / jabz
  Powerful and practical functional abstractions for JavaScript and TypeScript. Functors, Monads, Traversables and all that jazz.
  ☆90Updated 6 years ago
• 0x6563 / grammar-well
  Grammar Well is a cross-platform compiler, parser, and/or interpreter written in TypeScript.
  ☆26Updated 3 months ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 9 years ago
• hunterloftis / cryo
  JSON on steroids.
  ☆156Updated 7 years ago
• masala / masala-parser
  Javascript Generalized Parser Combinators
  ☆145Updated 5 months ago
• ccorcos / reactive-magic
  Magical reactivity at your fingertips that helps you build complex applications quickly
  ☆40Updated 6 years ago
• jussi-kalliokoski / babel-plugin-operator-overload
  Babel plugin for overloading operators
  ☆67Updated 6 years ago
• benji6 / imlazy
  😴 Functional programming with lazy immutable iterables
  ☆103Updated 3 weeks ago
• IjzerenHein / kiwi.js
  Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖
  ☆251Updated 2 years ago
• ajvincent / es-membrane
  An ECMAScript implementation of a Membrane, allowing users to dynamically hide, override, or extend objects in JavaScript with controlled…
  ☆111Updated last month
• natefaubion / adt-simple
  Algebraic data types for JavaScript using Sweet.js macros
  ☆93Updated 10 years ago
• abuseofnotation / monad-transformers
  Practical monad transformers for JS.
  ☆26Updated 7 years ago
• Gozala / reducers
  Library for higher-order manipulation of collections
  ☆181Updated 2 years ago
• zkat / mona
  Composable parsing for JavaScript
  ☆153Updated 9 years ago
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆57Updated last year
• CRogers / pun
  A small library to enable pattern matching in javascript and coffeescript
  ☆345Updated 10 years ago
• mattbierner / hamt_plus
  Fork of HAMT with transactions and custom key types
  ☆51Updated 7 years ago
• pandanoir / List-in-JS
  ☆21Updated 7 years ago
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆65Updated 4 years ago
• RReverser / babel-plugin-asm-js
  Compile JavaScript + Flow into asm.js (WIP)
  ☆66Updated 9 years ago
• polytypic / fastener
  Functional Zipper for manipulating JSON
  ☆55Updated 5 years ago