nuprl / StopifyLinks
A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
☆175Updated 10 months ago
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
- Javascript Parser Combinator Library☆148Updated 10 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
- ECMAScript derived programming language☆68Updated 10 years ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- Proposal to add tail calls to WebAssembly☆114Updated 3 months ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- A UI library based on the incremental lambda calculus☆111Updated 6 years ago
- Hygienic typed literal macros (TLMs) for Reason☆209Updated 6 years ago
- An optimal function evaluator written in JavaScript.☆137Updated 7 years ago
- ☆55Updated 8 years ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆75Updated 10 months ago
- An HTTP server and framework written from scratch in OCaml☆26Updated 4 years ago
- A simple expressions language with polymorphic extensible row types.☆302Updated 2 years ago
- Cell compiler☆114Updated last year
- Build system☆90Updated 6 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- Examples to illustrate the use of algebraic effects in Multicore OCaml☆439Updated last year
- Simple OCaml Development Workflow on CommonJS☆96Updated 6 years ago
- Minimal self-hosted JavaScript compiler in 1k lines of code☆163Updated 7 years ago
- A type-safe dialect of TypeScript☆25Updated 10 years ago
- Type inference and checking for a safer JavaScript.☆339Updated 6 years ago
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆104Updated 2 years ago
- Do-notation for JavaScript☆178Updated 8 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
- A toolkit for experimenting with new kinds of programming interfaces.☆200Updated 8 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- A template string tag for generating template string tags.☆66Updated 4 years ago