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
- Classic algorithms and data structures in coffeescript. Making the World a better place, with coffee.☆36Updated 8 years ago
- DSL for lambda calculus☆16Updated 9 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- Lazy and infinite linked lists for JavaScript.☆15Updated 8 years ago
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Updated 9 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Updated 9 years ago
- dynamic programming solution web visualizer☆13Updated 9 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 5 years ago
- An opinionated approach to have type safety in native JavaScript.☆10Updated 3 years ago
- Monad Library for JavaScript☆54Updated 11 years ago
- a tale of two applications. one built as a monolith. the same built with microservices☆15Updated 9 years ago
- Lean ported to Javascript with Emscripten☆26Updated 8 years ago
- Linear regression with Gradient descent package for NPM.☆46Updated 11 years ago
- React component to lay out and render directed graphs.☆23Updated 10 years ago
- Browserify transform for using Sweet.js macros☆28Updated 10 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
- [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.☆78Updated 11 years ago
- Unix style pipes for nodejs streams `streamA | streamB | streamA`☆46Updated 9 years ago
- Select Web Component with autocompletion. Based on RxJS and VirtualDOM.☆12Updated 10 years ago
- A collection of sweet.js macros that provide contract support for JavaScript!☆55Updated 12 years ago
- A JavaScript implementation of Maybe and other Haskell-style monads☆7Updated 9 years ago
- A browser-based neural network simulation☆52Updated 9 years ago
- Javascript bindings for Irmin☆31Updated 9 years ago
- Functional programming based database engine☆39Updated 10 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆45Updated 5 years ago
- Javascript Interpreter in Functional-Style Javascript☆19Updated 7 years ago
- Node.js native addon build tool☆15Updated 2 years ago
- Fast immutable data structures☆32Updated 10 years ago
- Bop is a very fast Boyer-Moore parser/matcher for String or Buffer patterns.☆16Updated 3 months ago