Alternatives and similar repositories for javascript-semantics

Users that are interested in javascript-semantics are comparing it to the libraries listed below

• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆201Updated last year
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆145Updated 5 years ago
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆146Updated 7 years ago
• coq-concurrency / pluto
  A web server written in Coq.
  ☆87Updated 8 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 5 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆91Updated 3 years ago
• clarus / falso
  A proof of false in Coq.
  ☆97Updated 5 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆152Updated 2 months ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 3 years ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆85Updated last week
• mmjb / T2
  T2 Temporal Prover
  ☆95Updated 7 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆157Updated 7 months ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆105Updated this week
• rems-project / lem
  Lem semantic definition language
  ☆139Updated 2 months ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆159Updated 8 months ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆80Updated this week
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 4 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆98Updated 10 months ago
• stedolan / mlsub
  Prototype type inference engine
  ☆201Updated 4 months ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated 11 months ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated 2 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 3 months ago
• DeepSpec / dsss17
  Lecture material for DeepSpec Summer School 2017
  ☆88Updated 3 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆81Updated 9 years ago
• stedolan / crowbar
  Property fuzzing for OCaml
  ☆190Updated last year
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago