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
- A JavaScript propositional logic and resolution library☆61Updated 7 years ago
- An opinionated approach to have type safety in native JavaScript.☆10Updated 3 years ago
- Classic algorithms and data structures in coffeescript. Making the World a better place, with coffee.☆36Updated 7 years ago
- Secure and resilient remote file storage with client-side encryption☆11Updated 7 years ago
- Javascript bindings for Irmin☆31Updated 9 years ago
- sometimes math is just too much fun☆20Updated 9 years ago
- Composable, immutable getters and setters.☆109Updated 9 years ago
- Generative property testing for Jasmine☆11Updated 8 years ago
- Unix style pipes for nodejs streams `streamA | streamB | streamA`☆46Updated 9 years ago
- The Sweet.js Term specification☆10Updated 7 years ago
- ☆18Updated 9 years ago
- Proclaim and encourage a stress-free environment in your open source project.☆12Updated 8 years ago
- A collection of sweet.js macros that provide contract support for JavaScript!☆55Updated 11 years ago
- Bloom Filter Demo☆21Updated 7 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 4 years ago
- Select Web Component with autocompletion. Based on RxJS and VirtualDOM.☆12Updated 9 years ago
- Multi-type protocol-based polymorphism☆10Updated 8 years ago
- Bop is a very fast Boyer-Moore parser/matcher for String or Buffer patterns.☆16Updated 2 weeks ago
- GitHub issue organizer☆10Updated last year
- ☆12Updated 9 years ago
- Migrating to https://github.com/origamitower/folktale☆20Updated 8 years ago
- Microservices in the simplest way conceivable.☆28Updated 7 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- Official Reason plugin for Sublime Text☆43Updated 4 years ago
- Learn how to create robust multi-server applications in Node☆20Updated 7 years ago
- Solve Math expressions, create equations, define operators and constants☆39Updated 2 years ago
- A lightweight CoffeeScript library/DSL for reactive programming and declaratively building scalable web UIs☆263Updated 3 years ago
- ☆23Updated 8 years ago
- Reason + BuckleScript bindings to Immutable.js☆29Updated 6 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago