KJS: A Complete Formal Semantics of JavaScript
☆103Oct 13, 2016Updated 9 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 semantics of Java in K☆19Sep 15, 2021Updated 4 years ago
- Formal semantics of LLVM IR in K☆47Jun 13, 2018Updated 7 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Associated blog post - https://tristanrhodes.com/blog/Adventures-in-Algorithmic-Trading-on-the-Runescape-Grand-Exchange☆10Oct 14, 2024Updated last year
- ☆22Feb 19, 2026Updated last week
- Lean ported to Javascript with Emscripten☆27Jun 27, 2017Updated 8 years ago
- Combinators for manipulating dependently-typed predicates.☆14Jul 5, 2024Updated last year
- Haskell parser and manipulation functions for Fortran code☆17Mar 18, 2016Updated 9 years ago
- A DSL for generating GR(1) problems☆12Jul 27, 2021Updated 4 years ago
- JavaScript semantics☆18Aug 10, 2012Updated 13 years ago
- Deriving Storable instances using GHC.Generics☆16Apr 9, 2022Updated 3 years ago
- A sequencer for pure data / Purr Data and a (midi) editor based on nw.js☆11Jun 4, 2018Updated 7 years ago
- Semantics and tools for JavaScript☆92Feb 27, 2022Updated 4 years ago
- Parser and type analysis for the Go programming language☆12Aug 3, 2023Updated 2 years ago
- xmonad in Coq☆46Jul 9, 2012Updated 13 years ago
- IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis☆16Apr 4, 2015Updated 10 years ago
- gallina frontend for CompCert☆19Jul 6, 2019Updated 6 years ago
- Pure Data Montréal Abstractions☆20Oct 19, 2018Updated 7 years ago
- Automatic lacinia schema generation from datomic☆16Jun 13, 2018Updated 7 years ago
- QEmu backend for avatar²☆22Mar 29, 2025Updated 10 months ago
- Testing Infrastructure for Temporal AbstractioNs☆23Aug 24, 2020Updated 5 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Jun 4, 2022Updated 3 years ago
- NOTE: This repository is obsolete. Was: A pilot project to use Clojure for introductory computer science courses at the University of Min…☆20Sep 30, 2017Updated 8 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18May 5, 2017Updated 8 years ago
- Feature experiments to advance the art of Bitcoin - Build your own sidechain☆16May 7, 2017Updated 8 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 10 years ago
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 12 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆205Feb 5, 2024Updated 2 years ago
- The semantics of Python in K☆21Aug 20, 2013Updated 12 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 7 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Aug 12, 2025Updated 6 months ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Nov 24, 2015Updated 10 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- Collaborative work on reversible computing☆18Aug 3, 2022Updated 3 years ago
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 6 months ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- Decision procedures for Presburger arithmetic in Haskell☆30Mar 29, 2025Updated 11 months ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago