nuprl / StopifyLinks
A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
☆177Updated last year
Alternatives and similar repositories for Stopify
Users that are interested in Stopify are comparing it to the libraries listed below
Sorting:
- ECMAScript verification with SMT solvers☆124Updated last year
- Interpreter for simply typed lambda calculus implemented in JavaScript λ☆34Updated 8 years ago
- Javascript Parser Combinator Library☆148Updated 10 years ago
- OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM☆256Updated 8 years ago
- Experiment in structural code editing☆102Updated last year
- ECMAScript derived programming language☆68Updated 10 years ago
- A collection of related articles, experiments and demos about futuristic kinds of programming☆166Updated 10 years ago
- An optimal function evaluator written in JavaScript.☆137Updated 8 years ago
- Proposal to add tail calls to WebAssembly☆114Updated 5 months ago
- Simple OCaml Development Workflow on CommonJS☆97Updated 6 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- ☆55Updated 8 years ago
- Finger tree data structure for JavaScript☆26Updated 2 weeks ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆45Updated 5 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- prolog interpreter in javascript☆82Updated 8 years ago
- Minimal self-hosted JavaScript compiler in 1k lines of code☆163Updated 7 years ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆78Updated last year
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- JUnify ― JavaScript Unification Library☆50Updated 13 years ago
- Write OCaml, run on node.☆82Updated 2 years ago
- ☆53Updated 4 years ago
- An IDE for the Ohm language (JavaScript edition)☆100Updated 8 months ago
- Contract library for JavaScript☆147Updated 9 years ago
- Build system☆90Updated 6 years ago
- An HTTP server and framework written from scratch in OCaml☆26Updated 4 years ago
- SJS is a static ahead of time compiler for a subset of JavaScript☆46Updated 2 years ago
- Hygienic typed literal macros (TLMs) for Reason☆210Updated 6 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- Port of microKanren to JavaScript.☆25Updated 3 years ago