tadeuzagallo / lc-jsLinks
A λ-calculus interpreter written in JavaScript
☆159Updated 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
Sorting:
- Minimal self-hosted JavaScript compiler in 1k lines of code☆163Updated 8 years ago
- Javascript Parser Combinator Library☆147Updated 10 years ago
- An implementation of continuations in JavaScript☆305Updated 7 years ago
- Contract library for JavaScript☆148Updated 10 years ago
- Source for "Haskell in ES6" article series☆287Updated 9 years ago
- An optimal function evaluator written in JavaScript.☆138Updated 8 years ago
- Serious functional programming library for JavaScript.☆590Updated 11 years ago
- [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…☆128Updated 8 years ago
- A functional language for the working hacker☆343Updated 3 years ago
- ECMAScript derived programming language☆68Updated 10 years ago
- A library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.☆181Updated 8 years ago
- Type inference and checking for a safer JavaScript.☆340Updated 6 years ago
- A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.☆454Updated 8 years ago
- Conway's Game of Life - hand written in WebAssembly☆60Updated 2 years ago
- functional reactive programming for JavaScript☆235Updated 5 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- A JSX reader for JavaScript, powered by sweet.js.☆149Updated 11 years ago
- A collection of sweet.js macros that implement ES6 features for ES5☆239Updated 11 years ago
- JS JIT in JS☆215Updated 10 years ago
- Hygienic, non-syntactic macros for JavaScript via a Babel plugin.☆261Updated 9 years ago
- Concatenative programming for Javascript☆105Updated 10 years ago
- NO LONGER IN DEVELOPMENT☆27Updated 9 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- Virtual DOM diff/patch benchmark☆49Updated 10 years ago
- Runtime type checking for JavaScript☆76Updated 6 years ago
- An experimental Javascript parser and just-in-time compiler written in Rust☆137Updated 10 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆179Updated last year
- JIT Assembler in javascript☆288Updated 9 years ago
- Algebraic data types for Javascript☆220Updated 11 years ago
- Javascript Hash Array Mapped Trie☆252Updated 3 years ago