|
|
Coq |
2 |
Formal semantics for LIO |
Apr 15, 2019 |
|
|
OCaml |
7 |
Formal semantics of OCaml |
Mar 28, 2017 |
|
|
Agda |
12 |
Formal semantics in Agda. |
Apr 06, 2023 |
|
|
Shell |
6 |
Formal semantics of the yul language |
May 16, 2022 |
|
|
Haskell |
15 |
Formal semantics of Haskell in K |
Jul 04, 2021 |
|
|
None |
2 |
fspl: Formal Semantics of Programming Languages |
Nov 14, 2020 |
|
|
Jupyter Notebook |
18 |
Lambda Notebook: Formal Semantics in Jupyter |
May 31, 2023 |
|
|
Verilog |
3 |
An attempt at a formal specification for Bitcoin, including formal semantics for Bitcoin scripts. |
Aug 22, 2016 |
|
|
LLVM |
42 |
Formal semantics of LLVM IR in K |
Aug 27, 2021 |
|
|
WebAssembly |
62 |
A Prototype Formal Semantics of WebAssembly in K |
Aug 09, 2022 |
|
|
Brainfuck |
9 |
Formal semantics of the Brainfuck language in K |
Apr 05, 2023 |
|
|
Haskell |
120 |
A formal semantics of the RISC-V ISA in Haskell |
Jul 21, 2022 |
|
|
Lean |
7 |
A formal specification of the Yul IR semantics in the Lean proof assistant. |
Aug 03, 2022 |
|
|
Lean |
5 |
A model and framework to prove formal semantics of MLIR programs in Lean4. |
Jan 28, 2023 |
|
|
Haskell |
18 |
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell. |
May 09, 2023 |
|
|
Erlang |
3 |
Executable formal semantics for a subset of the Erlang programming language defined in the K … |
Oct 05, 2021 |
|
|
Coq |
10 |
The project SPARK Formal aims at developing a complete semantics of the SPARK language in … |
Apr 01, 2022 |
|
|
Objective-C++ |
128 |
Formal to Formal Mathematics Benchmark |
Aug 12, 2022 |
|
|
JavaScript |
5 |
Toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, … |
May 21, 2022 |
|
|
Coq |
16 |
Semantics for Cryptol |
Mar 30, 2022 |
|
|
OCaml |
77 |
Semantics for ES5 |
Apr 22, 2023 |
|
|
Makefile |
2 |
Formal model for requirements |
Jan 06, 2022 |
|
|
Elixir |
2 |
DDD semantics for blunt |
Sep 13, 2022 |
|
|
Python |
8 |
The formal |
Apr 13, 2023 |
|
|
HTML |
76 |
Network Semantics |
Feb 27, 2023 |
|
|
JavaScript |
19 |
JavaScript semantics |
Jun 17, 2019 |
|
|
Haskell |
2 |
Semantics Exploration |
Feb 12, 2024 |
|
|
TeX |
12 |
A formal specification for BIL |
Dec 09, 2021 |
|
|
Python |
5 |
Formal Verification for Plasma-mvp |
Apr 18, 2020 |
|
|
Haskell |
29 |
:microscope: formal tools for BPMN |
May 28, 2023 |
|
|
Scala |
7 |
Denotational semantics for the masses |
Jan 27, 2023 |
|
|
JavaScript |
90 |
Semantics and tools for JavaScript |
Feb 23, 2023 |
|
|
TeX |
2 |
Denotational semantics for reflex frp |
Apr 04, 2023 |
|
|
Python |
39 |
Semantics for COVID-19 Discovery |
Jun 08, 2022 |
|
|
HTML |
2 |
Formal verification blog |
Jan 17, 2022 |
|
|
TeX |
10 |
NEO's formal specification |
Jun 14, 2022 |
|
|
Java |
4 |
Drools Semantics Module |
Sep 16, 2017 |
|
|
Coq |
9 |
linear logic semantics |
Jun 30, 2022 |
|
|
Scala |
12 |
Daf Semantics repository |
Jun 24, 2022 |
|
|
Python |
8 |
Learning mutational semantics |
Jul 14, 2022 |
|
|
Shell |
9 |
Verifying x86 semantics |
Aug 25, 2021 |
|
|
OCaml |
17 |
Cerberus C semantics |
Apr 15, 2023 |
|
|
Java |
2 |
eiffel-remrem-semantics |
Dec 07, 2021 |
|
|
Python |
3 |
PL Semantics Tool |
Sep 16, 2016 |
|
|
Python |
5 |
Tabular data semantics |
Jun 14, 2022 |
|
|
JavaScript |
4 |
react-formal inputs for react-bootstrap |
Jan 19, 2021 |
|
|
Verilog |
6 |
materials for Formal Verification introduction course |
Mar 17, 2022 |
|
|
Scala |
4 |
Experimental (formal) verification library for Chisel. |
Jan 28, 2023 |
|
|
JavaScript |
2 |
🌍 🐓 Formal verification for JavaScript |
Jan 31, 2023 |
|
|
Rust |
21 |
The formal development repository for Pr47 |
Mar 14, 2023 |