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
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆60Updated 8 years ago
- Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)☆29Updated 7 years ago
- ☆26Updated 2 years ago
- (Nominal) Adapton in OCaml☆54Updated 9 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆114Updated 8 years ago
- ECMAScript verification with SMT solvers☆124Updated last year
- The Gillian Platform main repository☆87Updated last week
- OCaml extended with modular implicits☆104Updated 6 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆141Updated 6 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Updated last year
- Create, Control, Execute JavaScript in OCaml. Think of the possibilities.☆30Updated 8 years ago
- Scalable Analysis Framework for ECMAScript☆118Updated 4 years ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆28Updated last year
- A toy ML-like programming language☆16Updated 12 years ago
- OCaml interpreter☆102Updated 5 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Updated 6 years ago
- Automated reasoning for React/ReasonML☆114Updated 2 years ago
- Functional programming library for OCaml☆60Updated 5 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆127Updated 2 years ago
- Semantics for ES5☆81Updated 9 years ago
- ☆37Updated 3 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated last month
- Constraint solver based on abstract domains☆32Updated 8 months ago
- T2 Temporal Prover☆95Updated 7 years ago
- A modular sat/smt solver with proof output.☆99Updated last year