kframework / javascript-semanticsLinks
KJS: A Complete Formal Semantics of JavaScript
☆89Updated 8 years ago
Alternatives and similar repositories for javascript-semantics
Users that are interested in javascript-semantics are comparing it to the libraries listed below
Sorting:
- The K tools (deprecated, see README)☆147Updated 7 years ago
- WASM builds of the Z3 SMT solver☆150Updated 5 years ago
- Semantics and tools for JavaScript☆92Updated 3 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆19Updated 5 years ago
- The Gillian Platform main repository☆88Updated 3 weeks ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- Mostly Automated Synthesis of Correct-by-Construction Programs☆154Updated 2 weeks ago
- Lem semantic definition language☆145Updated 5 months ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- A web server written in Coq.☆89Updated 9 years ago
- ECMAScript verification with SMT solvers☆124Updated last year
- Incremental Program Analysis Framework☆90Updated 4 years ago
- Property fuzzing for OCaml☆191Updated 2 years ago
- T2 Temporal Prover☆95Updated 7 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- Datalog with support for SMT queries and first-order functional programming☆162Updated 3 weeks ago
- A CSS specification and reasoning engine☆96Updated 2 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated this week
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- A mechanisation of Wasm in Coq(Rocq)☆108Updated last week
- Noether programming language☆127Updated 8 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- solver for the reachability modulo theories problem☆60Updated last year
- Kodkod solver for relational logic☆78Updated 2 years ago
- An in-memory datalog implementation for OCaml.☆273Updated 10 months ago
- The LVish Haskell library☆80Updated 2 years ago