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
- Small library for describing HKTs in TypeScript☆32Updated 7 years ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆106Updated 2 years ago
- Do-notation for JavaScript☆178Updated 8 years ago
- WASM builds of the Z3 SMT solver☆150Updated 5 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆176Updated last year
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- Javascript Parser Combinator Library☆148Updated 10 years ago
- Javascript Generalized Parser Combinators☆148Updated this week
- Property-based testing a'la QuickCheck for TypeScript and JavaScript☆20Updated 4 years ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- Type inference and checking for a safer JavaScript.☆339Updated 6 years ago
- ECMAScript derived programming language☆68Updated 10 years ago
- Experiment in structural code editing☆102Updated last year
- Proposal to add tail calls to WebAssembly☆114Updated 5 months ago
- Tiny subset of JavaScript for ocap-safe universal mobile code☆300Updated last week
- An ECMAScript implementation of a Membrane, allowing users to dynamically hide, override, or extend objects in JavaScript with controlled…☆116Updated 3 months ago
- Algebraic graphs implementation in TypeScript☆133Updated 2 years ago
- Hygienic typed literal macros (TLMs) for Reason☆209Updated 6 years ago
- OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM☆256Updated 8 years ago
- a datalog interpreter in typescript☆212Updated 8 months ago
- A collection of related articles, experiments and demos about futuristic kinds of programming☆166Updated 10 years ago
- A library that turns impure code into pure and testable code.☆38Updated 2 years ago
- A template string tag for generating template string tags.☆66Updated 4 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- Automated reasoning for React/ReasonML☆114Updated 2 years ago
- Optics library for JavaScript☆144Updated 6 years ago
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆46Updated last year
- Experimental continuous Behaviors for most.js☆32Updated 5 years ago
- Algebraic effects and handlers using generators☆57Updated this week