pnevyk / llang
An interpreter of well-formed formulas in propositional calculus.
☆10Updated 10 years ago
Alternatives and similar repositories for llang:
Users that are interested in llang are comparing it to the libraries listed below
- DSL for lambda calculus☆16Updated 9 years ago
- A JavaScript propositional logic and resolution library☆61Updated 7 years ago
- A small library to enable pattern matching in javascript and coffeescript☆345Updated 10 years ago
- Javascript bindings for Irmin☆31Updated 9 years ago
- Secure and resilient remote file storage with client-side encryption☆11Updated 7 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.☆78Updated 10 years ago
- An opinionated approach to have type safety in native JavaScript.☆10Updated 3 years ago
- Utility for testing applications based on CycleJS framework.☆22Updated 9 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 4 years ago
- ☆23Updated 8 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆44Updated 4 years ago
- SSA/CFG for babylon☆9Updated 8 years ago
- Streamable content addressable blob object store that is streams2 and implements the blob store interface☆59Updated 4 years ago
- Lazy and infinite linked lists for JavaScript.☆14Updated 7 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- Free monad☆26Updated 9 years ago
- Multi-type protocol-based polymorphism☆10Updated 8 years ago
- My Talk at nodejsconf.it 2014! "How to Cook a Graph Database in a Night"☆36Updated 10 years ago
- Linear regression with Gradient descent package for NPM.☆46Updated 11 years ago
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Updated 9 years ago
- A collection of sweet.js macros that provide contract support for JavaScript!☆55Updated 11 years ago
- ☆18Updated 9 years ago
- A collection of monoids☆29Updated 7 years ago
- Algebraic data types for JavaScript using Sweet.js macros☆93Updated 10 years ago
- Little language that compiles into Javascript☆9Updated 9 years ago
- Implementation of the relational algebra☆37Updated 8 years ago
- Select Web Component with autocompletion. Based on RxJS and VirtualDOM.☆12Updated 9 years ago
- JS AST rewriter for tail call elimination☆133Updated 11 years ago
- A lazy implementation of the Fantasy Land Either type☆16Updated 7 years ago