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
Sorting:
- A JavaScript propositional logic and resolution library☆61Updated 7 years ago
- DSL for lambda calculus☆16Updated 9 years ago
- Classic algorithms and data structures in coffeescript. Making the World a better place, with coffee.☆36Updated 8 years ago
- An opinionated approach to have type safety in native JavaScript.☆10Updated 3 years ago
- Seed data with ease☆12Updated 9 years ago
- Javascript Interpreter in Functional-Style Javascript☆19Updated 7 years ago
- A small library to enable pattern matching in javascript and coffeescript☆345Updated 10 years ago
- [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.☆78Updated 11 years ago
- Solve Math expressions, create equations, define operators and constants☆39Updated 2 years ago
- Anny is an artificial neural network, yo!☆16Updated 8 years ago
- Implementation of the relational algebra☆37Updated 8 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆45Updated 5 years ago
- A collection of sweet.js macros that provide contract support for JavaScript!☆55Updated 11 years ago
- Migrating to https://github.com/origamitower/folktale☆20Updated 8 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 5 years ago
- Microservices in the simplest way conceivable.☆28Updated 7 years ago
- Functional programming tools for recurring promises☆53Updated 7 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 8 years ago
- Generative property testing for Jasmine☆11Updated 8 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- Monad Library for JavaScript☆54Updated 11 years ago
- A collection of awesome ssb resources and projects☆36Updated 5 years ago
- JS AST rewriter for tail call elimination☆134Updated 11 years ago
- Secure and resilient remote file storage with client-side encryption☆11Updated 7 years ago
- Bop is a very fast Boyer-Moore parser/matcher for String or Buffer patterns.☆16Updated 2 months ago
- Select Web Component with autocompletion. Based on RxJS and VirtualDOM.☆12Updated 10 years ago
- Append only scuttlebutt structure☆26Updated 12 years ago
- ☆23Updated 9 years ago
- how(1) - learn how to do anything☆19Updated 9 years ago