pnevyk / llangLinks
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
Sorting:
- A JavaScript propositional logic and resolution library☆61Updated 8 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- An opinionated approach to have type safety in native JavaScript.☆10Updated 3 years ago
- Communication framework for distributed JavaScript.☆328Updated 8 years ago
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Updated 10 years ago
- A collection of sweet.js macros that provide contract support for JavaScript!☆55Updated 12 years ago
- GorillaScript is a compile-to-JavaScript language designed to empower the user while attempting to prevent some common errors.☆299Updated 12 years ago
- Contract library for JavaScript☆148Updated 10 years ago
- Classic algorithms and data structures in coffeescript. Making the World a better place, with coffee.☆37Updated 8 years ago
- Creating programs from Markdown code blocks☆138Updated 3 years ago
- NebulaDB Graph Database☆38Updated 9 years ago
- A readable, DSL friendly programming language with excellent concurrency primitives☆132Updated 3 years ago
- Secure and resilient remote file storage with client-side encryption☆11Updated 7 years ago
- Turn any node.js duplex stream into an actor☆110Updated 6 years ago
- Generative property testing for Mocha☆17Updated 8 years ago
- ☆23Updated 9 years ago
- V8 bindings for Rust☆39Updated last year
- Lazy and infinite linked lists for JavaScript.☆15Updated 8 years ago
- JavaScript-compatible implementation of Tagged JSON (TJSON), written in TypeScript.☆53Updated 2 years ago
- Measures your cache_size in javascript!☆27Updated 8 years ago
- JS AST rewriter for tail call elimination☆135Updated 12 years ago
- Javascript bindings for Irmin☆31Updated 10 years ago
- Monad Library for JavaScript☆54Updated 12 years ago
- Linear regression with Gradient descent package for NPM.☆46Updated 12 years ago
- A browser-based neural network simulation☆53Updated 10 years ago
- Demonstration of the == and === algorithms in JavaScript☆17Updated 9 years ago
- dynamic programming solution web visualizer☆13Updated 10 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆203Updated last year
- Functional programming tools for recurring promises☆53Updated 7 years ago
- Runtime type checking for JavaScript☆76Updated 6 years ago