tadeuzagallo / lc-js
A λ-calculus interpreter written in JavaScript
☆158Updated 3 years ago
Alternatives and similar repositories for lc-js:
Users that are interested in lc-js are comparing it to the libraries listed below
- Minimal self-hosted JavaScript compiler in 1k lines of code☆160Updated 7 years ago
- Javascript Parser Combinator Library☆148Updated 9 years ago
- A library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.☆182Updated 7 years ago
- Old, outdated explainer for Typed Objects and related specs. See link for new proposal☆121Updated 6 years ago
- A functional language for the working hacker☆344Updated 3 years ago
- OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM☆255Updated 7 years ago
- Contract library for JavaScript☆147Updated 9 years ago
- ECMAScript derived programming language☆68Updated 9 years ago
- Source for "Haskell in ES6" article series☆286Updated 8 years ago
- 🦕 Lisp in your language.☆85Updated 8 years ago
- JIT Assembler in javascript☆287Updated 9 years ago
- An implementation of continuations in JavaScript☆304Updated 6 years ago
- A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.☆454Updated 7 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆197Updated last year
- An optimal function evaluator written in JavaScript.☆132Updated 7 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆44Updated 4 years ago
- An ECMAScript 5.1 parser, written in JavaScript. The ECMAScript grammar was created using Jison.☆96Updated 8 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆173Updated 6 months ago
- [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…☆129Updated 8 years ago
- Streams built using Algebraic Data Types (ADT) and Pure FP (Haskell like) code☆120Updated 5 years ago
- CSP/Actor/Transducer Experiments☆139Updated 10 years ago
- Fun with λ calculus!☆90Updated 3 years ago
- Algorithm W implementation for type inference and parametric polymorphism in Vanilla JS☆17Updated 7 years ago
- Type inference and checking for a safer JavaScript.☆338Updated 6 years ago
- A small ECMAScript parser, tokenizer and minifier written in JavaScript.☆56Updated 8 years ago
- Serious functional programming library for JavaScript.☆590Updated 10 years ago
- A set of specifications or signatures on algebraic modules and an implementation of a standard library built to match.☆78Updated 9 years ago
- Top Down Operator Precedence☆157Updated 3 years ago
- NO LONGER IN DEVELOPMENT☆27Updated 8 years ago