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☆196Updated 3 months ago
- A type-safe dialect of TypeScript☆25Updated 10 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- Scalable Analysis Framework for ECMAScript☆118Updated 4 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- The Gillian Platform main repository☆85Updated last week
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆113Updated 8 years ago
- an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST☆17Updated 4 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆60Updated 8 years ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆138Updated 6 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆57Updated 4 months ago
- descartes: the cartesian hoare logic prover☆12Updated 8 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- A delta debugger for JavaScript☆53Updated 3 years ago
- Semantics for ES5☆81Updated 9 years ago
- ☆26Updated 2 years ago
- JavaScript Code Instrumenter☆38Updated 2 weeks ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- A mechanized proof of type safety for Featherweight Java using Coq☆16Updated 6 years ago
- Functional Zipper for manipulating JSON☆55Updated 6 years ago
- (Abstract) Abstract Machine Experiments using Scala☆34Updated 4 years ago
- ECMAScript verification with SMT solvers☆125Updated 11 months ago
- Semantics and tools for JavaScript☆91Updated 3 years ago
- Contract library for javascript based on category theory.☆40Updated 7 years ago
- A pretty printing library☆24Updated 6 years ago
- Type inference and checking for a safer JavaScript.☆339Updated 6 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
- Javascript Parser Combinator Library☆148Updated 10 years ago