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"☆75Updated 10 months ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- Small library for describing HKTs in TypeScript☆32Updated 7 years ago
- Do-notation for JavaScript☆178Updated 8 years ago
- Javascript Parser Combinator Library☆148Updated 10 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- Proposal to add tail calls to WebAssembly☆114Updated 3 months ago
- Experiment in structural code editing☆102Updated last year
- Experimental continuous Behaviors for most.js☆32Updated 5 years ago
- WASM builds of the Z3 SMT solver☆146Updated 5 years ago
- A template string tag for generating template string tags.☆66Updated 4 years ago
- Javascript Generalized Parser Combinators☆148Updated 3 weeks ago
- An ECMAScript implementation of a Membrane, allowing users to dynamically hide, override, or extend objects in JavaScript with controlled…☆116Updated 3 weeks ago
- A UI library based on the incremental lambda calculus☆111Updated 6 years ago
- A library that turns impure code into pure and testable code.☆38Updated 2 years ago
- Type inference and checking for a safer JavaScript.☆339Updated 6 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆175Updated 10 months ago
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆46Updated last year
- Algebraic graphs implementation in TypeScript☆133Updated 2 years ago
- Encoding higher-kinded types in TypeScript☆40Updated 5 years ago
- Algebraic effects and handlers using generators☆57Updated last week
- Hygienic typed literal macros (TLMs) for Reason☆209Updated 6 years ago
- ☆13Updated 6 years ago
- Implementation of Algebraic effects (https://bit.ly/2Mo7w3Q) based on Generators☆57Updated 6 years ago
- Do-notation for javascript fantasy land☆64Updated 11 years ago
- Contract library for JavaScript☆147Updated 9 years ago
- An experiment in replacing the virtual DOM and avoiding diffing☆162Updated 7 years ago
- Refined types for Typescript☆24Updated 7 years ago
- A parser combinator library with declarative superpowers☆27Updated 3 years ago
- Fast explicit tail calls. In today's JavaScript!☆108Updated last year