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☆158Updated 6 years ago
- Implementing pipes in Javascript using psudo operator overloading☆89Updated 11 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆198Updated last year
- ☆40Updated 10 years ago
- JavaScript live code reloading utility for Node and browsers☆60Updated 8 years ago
- Unobtrusive, backwards compatible, syntactic sugar for Design by contract in JavaScript.☆74Updated 9 years ago
- An interpreter of well-formed formulas in propositional calculus.☆10Updated 10 years ago
- Finite State Machines in javascript☆65Updated 7 years ago
- Immutable data trees in JavaScript.☆223Updated 9 years ago
- Split a stream of JS source code into parsable snippets☆30Updated 9 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- Basic event streams for JavaScript☆70Updated 2 years ago
- Source-annotating profiler for node.js☆46Updated 8 years ago
- Write a functional switch statement.☆43Updated 7 years ago
- Craft command-line masterpieces in Node.js☆254Updated 2 years ago
- A Google Spreadsheet implementation of leveldown☆108Updated 9 years ago
- JavaScript lazy arrays, sort of like Clojure's seqs☆56Updated 9 years ago
- Streams built using Algebraic Data Types (ADT) and Pure FP (Haskell like) code☆120Updated 5 years ago
- Idea for callbacks as values☆55Updated 10 years ago
- Filter stack trace by npm package name.☆42Updated 10 years ago
- just like redux but tiny☆80Updated 8 years ago
- connect middleware that causes chaos☆26Updated 10 years ago
- Library for higher-order manipulation of collections☆179Updated 3 years ago
- An optimal function evaluator written in JavaScript.☆135Updated 7 years ago
- Composable, immutable getters and setters.☆109Updated 9 years ago
- JS AST rewriter for tail call elimination☆134Updated 11 years ago
- Implements the Prüfer sequence algorithm in javascript, for space-efficient representation of trees using a unique sequence. Useful for …☆32Updated 7 years ago
- Contract library for JavaScript☆147Updated 9 years ago
- A Lens Library for Javascript☆177Updated 8 years ago
- Mount a directory of ES6 code as a FUSE directory of babel-compiled output☆40Updated 8 years ago