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:
- Type Analyzer for JavaScript☆197Updated 8 months ago
- an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST☆17Updated 5 years ago
- A type-safe dialect of TypeScript☆25Updated 11 years ago
- KJS: A Complete Formal Semantics of JavaScript☆90Updated 9 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- Scalable Analysis Framework for ECMAScript☆118Updated 4 years ago
- A delta debugger for JavaScript☆54Updated 3 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- ECMAScript verification with SMT solvers☆124Updated last year
- SJS is a static ahead of time compiler for a subset of JavaScript☆47Updated 2 years ago
- Type inference and checking for a safer JavaScript.☆340Updated 6 years ago
- Reason Debugger☆82Updated 2 years ago
- Semantics for ES5☆82Updated 10 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆203Updated last year
- Finding and Understanding Conflicts Between JavaScript Libraries☆40Updated 3 years ago
- ☆28Updated 9 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- Automated reasoning for React/ReasonML☆115Updated 2 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated 2 years ago
- Dynamic analysis framework for JavaScript☆465Updated last year
- Algebraic effects and handlers using generators☆57Updated last week
- Node.fz: Trigger race conditions in your Node.js code in test, not production.☆43Updated 5 years ago
- The Gillian Platform main repository☆90Updated this week
- Javascript Parser Combinator Library☆147Updated 10 years ago
- Profunctor implementation of Lenses, Prisms, Traversals, Isos, etc.☆87Updated 9 years ago
- Property-based tests for FL-compatible ADTs☆33Updated 3 years ago
- JavaScript Mutation Testing☆54Updated 9 years ago
- ☆26Updated 3 years ago
- OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM☆256Updated 8 years ago
- ☆12Updated 8 years ago