nuprl / Stopify
A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
☆173Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for Stopify
- OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM☆255Updated 7 years ago
- ECMAScript verification with SMT solvers☆124Updated 5 months ago
- Refinement Types for Scripting Languages☆65Updated 5 years ago
- Interpreter for simply typed lambda calculus implemented in JavaScript λ☆34Updated 7 years ago
- ☆55Updated 7 years ago
- Proposal to add tail calls to WebAssembly☆111Updated 2 months ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆196Updated 9 months ago
- ECMAScript derived programming language☆67Updated 9 years ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆75Updated 3 months ago
- Hygienic typed literal macros (TLMs) for Reason☆208Updated 5 years ago
- A simple expressions language with polymorphic extensible row types.☆302Updated last year
- Javascript Parser Combinator Library☆148Updated 9 years ago
- Experiment in structural code editing☆101Updated 8 months ago
- Data Structures Memory Usage in JavaScript☆59Updated last year
- Do-notation for JavaScript☆176Updated 7 years ago
- A UI library based on the incremental lambda calculus☆112Updated 6 years ago
- Type Inference Library written in TypeScript☆92Updated last year
- Simple OCaml Development Workflow on CommonJS☆96Updated 5 years ago
- Examples to illustrate the use of algebraic effects in Multicore OCaml☆422Updated 6 months ago
- An optimal function evaluator written in JavaScript.☆131Updated 7 years ago
- Programming language agnostic type construction language based on polynomials.☆366Updated 5 months ago
- Algebraic type based schema system☆129Updated 4 years ago
- Typed Regular Expressions☆171Updated 4 years ago
- Minimal self-hosted JavaScript compiler in 1k lines of code☆160Updated 7 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- Reagents for multicore OCaml☆125Updated last year
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- SJS is a static ahead of time compiler for a subset of JavaScript☆40Updated last year
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆107Updated 7 years ago