pnevyk / llangLinks
An interpreter of well-formed formulas in propositional calculus.
☆10Updated 11 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
- Classic algorithms and data structures in coffeescript. Making the World a better place, with coffee.☆37Updated 8 years ago
- Generative property testing for Mocha☆17Updated 8 years ago
- Secure and resilient remote file storage with client-side encryption☆11Updated 8 years ago
- Proclaim and encourage a stress-free environment in your open source project.☆12Updated 9 years ago
- Bloom Filter Demo☆21Updated 8 years ago
- Runtime type checking for JavaScript☆76Updated 6 years ago
- A collection of sweet.js macros that provide contract support for JavaScript!☆55Updated 12 years ago
- An opinionated approach to have type safety in native JavaScript.☆10Updated 3 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 9 years ago
- Statistics toolkit for JavaScript☆50Updated 11 years ago
- A browser-based neural network simulation☆53Updated 10 years ago
- Standards, RFCs and discussion of the Arua language☆44Updated 10 years ago
- Monad Library for JavaScript☆54Updated 12 years ago
- Linear regression with Gradient descent package for NPM.☆46Updated 12 years ago
- Communication framework for distributed JavaScript.☆328Updated 8 years ago
- JS AST rewriter for tail call elimination☆135Updated 12 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆25Updated 5 years ago
- javascript in-memory implementation of Redis API with observe changes interface and reactivity☆66Updated 11 years ago
- An idea to handle left-recursion in Parsing Expression Grammars (PEGs)☆36Updated 15 years ago
- A collection of awesome ssb resources and projects☆35Updated 5 years ago
- Solve Math expressions, create equations, define operators and constants☆39Updated 3 years ago
- A modern library for creating user interfaces.☆49Updated 3 years ago
- ☆56Updated 8 years ago
- Migrating to https://github.com/origamitower/folktale☆20Updated 9 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
- kdb tree implementation using a chunk store☆101Updated 7 years ago
- Common combinators.☆66Updated 9 years ago
- Undo (almost) any git commands!☆51Updated 11 years ago