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 7 years ago
- NebulaDB Graph Database☆39Updated 9 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- Classic algorithms and data structures in coffeescript. Making the World a better place, with coffee.☆36Updated 8 years ago
- Bloom Filter Demo☆21Updated 8 years ago
- Communication framework for distributed JavaScript.☆328Updated 8 years ago
- Demonstration of the == and === algorithms in JavaScript☆17Updated 9 years ago
- A browser-based neural network simulation☆52Updated 10 years ago
- ☆18Updated 9 years ago
- Migrating to https://github.com/origamitower/folktale☆20Updated 8 years ago
- Secure and resilient remote file storage with client-side encryption☆11Updated 7 years ago
- IETF-style specification and test cases for TJSON☆64Updated 8 years ago
- An opinionated approach to have type safety in native JavaScript.☆10Updated 3 years ago
- Monad Library for JavaScript☆54Updated 12 years ago
- A collection of sweet.js macros that provide contract support for JavaScript!☆55Updated 12 years ago
- Turn any node.js duplex stream into an actor☆109Updated 6 years ago
- A regular expression converter☆228Updated 3 years ago
- kdb tree implementation using a chunk store☆101Updated 7 years ago
- JSX IR Runtime☆15Updated 9 years ago
- Node.js bridge for COBOL which allows you to run Node.js code from COBOL.☆162Updated 6 months ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- GorillaScript is a compile-to-JavaScript language designed to empower the user while attempting to prevent some common errors.☆298Updated 12 years ago
- A calculator with equations and variables☆13Updated 9 years ago
- Lazy and infinite linked lists for JavaScript.☆15Updated 8 years ago
- Solve Math expressions, create equations, define operators and constants☆39Updated 2 years ago
- Inject JavaScript libraries into your current page.☆19Updated 8 years ago
- A simple word-counting demo to showcase Neon.☆31Updated 8 years ago
- Rewrite in D language: https://github.com/danilolekovic/iode-d☆92Updated 5 years ago
- [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…☆128Updated 8 years ago
- Linear regression with Gradient descent package for NPM.☆46Updated 11 years ago