jensnicolay / jipdaLinks
Generic static analysis framework
☆22Updated 2 years ago
Alternatives and similar repositories for jipda
Users that are interested in jipda are comparing it to the libraries listed below
Sorting:
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- Type Analyzer for JavaScript☆197Updated 7 months ago
- ECMAScript verification with SMT solvers☆124Updated last year
- ☆26Updated 3 years ago
- ☆37Updated 3 years ago
- A type-safe dialect of TypeScript☆25Updated 10 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- Functional Zipper for manipulating JSON☆56Updated 6 years ago
- Automated reasoning for React/ReasonML☆115Updated 2 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- The Gillian Platform main repository☆91Updated 2 weeks ago
- an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST☆17Updated 4 years ago
- ☆28Updated 9 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- Another attempt to realize my programming language☆23Updated 8 months ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆19Updated 5 years ago
- (Nominal) Adapton in OCaml☆55Updated 9 years ago
- OCaml interpreter☆102Updated 6 years ago
- Javascript Parser Combinator Library☆147Updated 10 years ago
- DEPRECATED. See https://ocaml.org/changelog/2023-10-23-omp-deprecation. Convert OCaml parsetrees between different major versions☆86Updated last year
- Contract library for JavaScript☆148Updated 10 years ago
- Type inference and checking for a safer JavaScript.☆340Updated 6 years ago
- Reason Debugger☆82Updated 2 years ago
- [OLD/Deprecated] Translate OCaml to Reason ON THE WEB☆18Updated 8 years ago
- A toy ML-like programming language☆16Updated 13 years ago
- An overview of property-based testing functionality☆73Updated 4 months ago
- A delta debugger for JavaScript☆54Updated 3 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 3 years ago
- ECMAScript derived programming language☆68Updated 10 years ago