levjj / esverifyLinks
ECMAScript verification with SMT solvers
☆124Updated last year
Alternatives and similar repositories for esverify
Users that are interested in esverify are comparing it to the libraries listed below
Sorting:
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆79Updated last year
- Javascript Parser Combinator Library☆148Updated 10 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆178Updated last year
- WASM builds of the Z3 SMT solver☆150Updated 5 years ago
- Do-notation for JavaScript☆178Updated 8 years ago
- Small library for describing HKTs in TypeScript☆32Updated 7 years ago
- Javascript Generalized Parser Combinators☆149Updated last week
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- Experiment in structural code editing☆102Updated last year
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆106Updated 2 years ago
- Type inference and checking for a safer JavaScript.☆340Updated 6 years ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM☆256Updated 8 years ago
- Proposal to add tail calls to WebAssembly☆114Updated 6 months ago
- Algebraic graphs implementation in TypeScript☆133Updated 2 years ago
- Hygienic typed literal macros (TLMs) for Reason☆210Updated 6 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- Fast explicit tail calls. In today's JavaScript!☆109Updated last year
- An ECMAScript implementation of a Membrane, allowing users to dynamically hide, override, or extend objects in JavaScript with controlled…☆117Updated 3 months ago
- ☆55Updated 8 years ago
- A library that turns impure code into pure and testable code.☆38Updated 2 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆19Updated 5 years ago
- ECMAScript derived programming language☆68Updated 10 years ago
- ☆147Updated 5 years ago
- KJS: A Complete Formal Semantics of JavaScript☆90Updated 8 years ago
- Automated reasoning for React/ReasonML☆115Updated 2 years ago
- Tiny subset of JavaScript for ocap-safe universal mobile code☆301Updated 3 weeks ago
- A multi-syntax functional programming language that compiles to WebAssembly.☆622Updated 4 years ago
- Optics library for JavaScript☆144Updated 6 years ago
- a datalog interpreter in typescript☆212Updated 8 months ago