jensnicolay / jipda
Generic static analysis framework
☆22Updated last year
Related projects ⓘ
Alternatives and complementary repositories for jipda
- A type-safe dialect of TypeScript☆25Updated 10 years ago
- The Gillian Platform main repository☆78Updated last week
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- Type Analyzer for JavaScript☆194Updated 4 years ago
- Semantics for ES5☆81Updated 9 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Updated 6 years ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- Node.fz: Trigger race conditions in your Node.js code in test, not production.☆42Updated 4 years ago
- ☆26Updated 2 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆19Updated 4 years ago
- Constraint solver based on abstract domains☆30Updated 3 weeks ago
- Incremental Program Analysis Framework☆91Updated 3 years ago
- A multi-cursor structural editor prototype for TypeScript☆57Updated last year
- A fluent API generator☆24Updated 8 months ago
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆128Updated last week
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 12 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 2 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆36Updated 2 years ago
- ☆55Updated 7 years ago
- Supporting tool for Gradual Typing☆16Updated 4 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆106Updated 7 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆126Updated last year
- ☆35Updated 5 years ago
- Finding and Understanding Conflicts Between JavaScript Libraries☆40Updated 2 years ago
- EGraphs in OCaml☆60Updated 9 months ago
- Core components for the Scribble Java tools☆56Updated last month
- A pretty printing library☆24Updated 5 years ago
- A collection of small projects to illustrate how to write plugins for Coq☆21Updated 5 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆87Updated 5 years ago