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:
- A type-safe dialect of TypeScript☆25Updated 10 years ago
- Type Analyzer for JavaScript☆196Updated 4 months ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- Scalable Analysis Framework for ECMAScript☆118Updated 4 years ago
- The Gillian Platform main repository☆86Updated 3 weeks ago
- an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST☆17Updated 4 years ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- ☆26Updated 2 years ago
- A delta debugger for JavaScript☆53Updated 3 years ago
- Property-based tests for FL-compatible ADTs☆33Updated 3 years ago
- ECMAScript verification with SMT solvers☆124Updated last year
- A comparison of how computational effects and handlers are implemented in various programming languages.☆141Updated 6 years ago
- Semantics for ES5☆81Updated 9 years ago
- ☆37Updated 3 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆19Updated 5 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆60Updated 8 years ago
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- Node.fz: Trigger race conditions in your Node.js code in test, not production.☆43Updated 4 years ago
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆46Updated last year
- ot-coq☆17Updated last year
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- JavaScript Code Instrumenter☆38Updated last month
- (Nominal) Adapton in OCaml☆54Updated 9 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆113Updated 8 years ago
- SJS is a static ahead of time compiler for a subset of JavaScript☆46Updated 2 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Updated 6 years ago
- creates a control flow graph from an esprima abstract syntax tree☆171Updated 7 years ago