RyanMarcus / vulcan
A JavaScript propositional logic and resolution library
☆61Updated 7 years ago
Alternatives and similar repositories for vulcan:
Users that are interested in vulcan are comparing it to the libraries listed below
- official fork: https://github.com/staltz/noderify☆157Updated 6 years ago
- Finite State Machines in javascript☆65Updated 7 years ago
- An interpreter of well-formed formulas in propositional calculus.☆10Updated 10 years ago
- prolog interpreter in javascript☆81Updated 7 years ago
- Provides redux-like, unidirectional state management paired with virtual-dom.☆75Updated 8 years ago
- Implementing pipes in Javascript using psudo operator overloading☆89Updated 11 years ago
- Finite Domain Constraint Solver☆29Updated 7 years ago
- Compile JavaScript + Flow into asm.js (WIP)☆66Updated 9 years ago
- minimal virtual-dom library☆84Updated 8 years ago
- A documentation generator for literate JavaScript☆100Updated 8 years ago
- An optimal function evaluator written in JavaScript.☆132Updated 7 years ago
- A small library to enable pattern matching in javascript and coffeescript☆344Updated 10 years ago
- Streams built using Algebraic Data Types (ADT) and Pure FP (Haskell like) code☆120Updated 5 years ago
- Library for higher-order manipulation of collections☆180Updated 3 years ago
- Filter stack trace by npm package name.☆42Updated 9 years ago
- User-friendly virtual DOM diffing☆95Updated 9 years ago
- A collection of sweet.js macros that provide contract support for JavaScript!☆55Updated 11 years ago
- Functional methods like map, reduce, filter, etc. for ES6 Iterators.☆41Updated 7 years ago
- Babel plugin for overloading operators☆67Updated 7 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- Common combinators.☆66Updated 9 years ago
- ☆67Updated 7 years ago
- Idea for callbacks as values☆55Updated 9 years ago
- A transform stream that diffs input buffers and outputs the diff as ANSI. If you pipe this to a terminal it will update the output with m…☆109Updated 6 years ago
- This is my Bachelor-Thesis. I showed how to derieve a purely functional programming language from an unrestricted language by example of …☆42Updated 8 years ago