levjj / esverifyLinks
ECMAScript verification with SMT solvers
☆125Updated 11 months ago
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
- Do-notation for JavaScript☆178Updated 8 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- WASM builds of the Z3 SMT solver☆145Updated 5 years ago
- Javascript Parser Combinator Library☆148Updated 10 years ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- Small library for describing HKTs in TypeScript☆32Updated 7 years ago
- Encoding higher-kinded types in TypeScript☆40Updated 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 this week
- Fast explicit tail calls. In today's JavaScript!☆109Updated last year
- Algebraic effects and handlers using generators☆57Updated this week
- Algebraic graphs implementation in TypeScript☆133Updated 2 years ago
- Experimental continuous Behaviors for most.js☆32Updated 5 years ago
- Proposal to add tail calls to WebAssembly☆114Updated 3 months ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆104Updated 2 years ago
- Hygienic typed literal macros (TLMs) for Reason☆209Updated 6 years ago
- A UI library based on the incremental lambda calculus☆112Updated 6 years ago
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆46Updated last year
- Functional Zipper for manipulating JSON☆55Updated 6 years ago
- A library that turns impure code into pure and testable code.☆38Updated 2 years ago
- Do-notation for javascript fantasy land☆64Updated 11 years ago
- Automated reasoning for React/ReasonML☆114Updated 2 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆174Updated 10 months ago
- Property-based testing a'la QuickCheck for TypeScript and JavaScript☆20Updated 3 years ago
- inspired by regular expressions but can do nested structures☆76Updated 3 years ago
- OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM☆256Updated 8 years ago
- Powerful and practical functional abstractions for JavaScript and TypeScript. Functors, Monads, Traversables and all that jazz.☆89Updated 6 years ago
- Discover laws in your code like with QuickSpec☆15Updated 3 years ago