nuprl / Stopify
A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
☆174Updated 9 months ago
Alternatives and similar repositories for Stopify:
Users that are interested in Stopify are comparing it to the libraries listed below
- ECMAScript verification with SMT solvers☆125Updated 10 months ago
- Experiment in structural code editing☆102Updated last year
- Proposal to add tail calls to WebAssembly☆114Updated 2 months ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- An optimal function evaluator written in JavaScript.☆136Updated 7 years ago
- ☆55Updated 8 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- ECMAScript derived programming language☆68Updated 9 years ago
- A UI library based on the incremental lambda calculus☆112Updated 6 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- Editor for language composition☆58Updated 2 years ago
- Interpreter for simply typed lambda calculus implemented in JavaScript λ☆34Updated 7 years ago
- OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM☆256Updated 8 years ago
- Do-notation for JavaScript☆178Updated 8 years ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆75Updated 9 months ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- A collection of related articles, experiments and demos about futuristic kinds of programming☆166Updated 9 years 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
- Algebraic data types for Javascript☆220Updated 11 years ago
- Hygienic typed literal macros (TLMs) for Reason☆209Updated 6 years ago
- Algebraic effects and handlers using generators☆57Updated last week
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- A simple expressions language with polymorphic extensible row types.☆302Updated 2 years ago
- Contract library for JavaScript☆147Updated 9 years ago
- Javascript Parser Combinator Library☆148Updated 10 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆45Updated 4 years ago
- JUnify ― JavaScript Unification Library☆50Updated 13 years ago
- Links: Linking Theory to Practice for the Web☆337Updated this week
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆112Updated 7 years ago
- Javascript recursion schemes compatible with flow-static-land☆22Updated 7 years ago