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
- Monad Library for JavaScript☆54Updated 12 years ago
- An opinionated approach to have type safety in native JavaScript.☆10Updated 4 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- Lazy and infinite linked lists for JavaScript.☆15Updated 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
- A collection of sweet.js macros that provide contract support for JavaScript!☆55Updated 12 years ago
- Secure and resilient remote file storage with client-side encryption☆11Updated 8 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆25Updated 5 years ago
- CLI for wasm-jit☆23Updated 10 years ago
- A browser-based neural network simulation☆53Updated 10 years ago
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Updated 10 years ago
- Ramdajs REPL.☆30Updated 4 years ago
- ☆23Updated 9 years ago
- V8 bindings for Rust☆39Updated last year
- Reason + BuckleScript bindings to Immutable.js☆29Updated 7 years ago
- Turn any node.js duplex stream into an actor☆110Updated 7 years ago
- Implementation of the relational algebra☆37Updated 9 years ago
- A collection of monoids☆29Updated 8 years ago
- Inject JavaScript libraries into your current page.☆19Updated 9 years ago
- ☆18Updated 10 years ago
- ☆12Updated 10 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Updated 10 years ago
- (unmaintained) Meta:Magical allows you to annotate objects in JavaScript, and inspect them in an interactive environment (REPL).☆57Updated 8 years ago
- Standards, RFCs and discussion of the Arua language☆44Updated 10 years ago
- Runtime type checking for JavaScript☆76Updated 6 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
- String left pad☆18Updated 9 years ago
- The library used by the MontageJS framework to manage the serialization of objects in its templates.☆21Updated 10 years ago