Alternatives and similar repositories for javascript-semantics:

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

• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 4 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆199Updated last year
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆90Updated 3 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated last week
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆81Updated last week
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆46Updated 6 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆143Updated 5 years ago
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆146Updated 7 years ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated 2 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• mmjb / T2
  T2 Temporal Prover
  ☆94Updated 7 years ago
• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆60Updated last year
• coq-concurrency / pluto
  A web server written in Coq.
  ☆87Updated 8 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆79Updated last week
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆32Updated this week
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated 9 months ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆106Updated 3 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆67Updated 6 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆235Updated this week
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆21Updated 10 years ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆159Updated 6 months ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• rems-project / lem
  Lem semantic definition language
  ☆138Updated 3 weeks ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆103Updated this week
• brownplt / LambdaS5
  Semantics for ES5
  ☆81Updated 9 years ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆201Updated 3 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆57Updated 7 years ago