|
Coq |
2 |
Formal semantics for LIO |
Apr 15, 2019 |
|
P4 |
67 |
Petr4: Formal Semantics for P4 |
Apr 14, 2023 |
|
OCaml |
7 |
Formal semantics of OCaml |
Mar 28, 2017 |
|
Agda |
12 |
Formal semantics in Agda. |
Apr 06, 2023 |
|
Lean |
7 |
A formal specification of the Yul IR semantics in the Lean proof assistant. |
Aug 03, 2022 |
|
TeX |
10 |
NEO's formal specification |
Jun 14, 2022 |
|
TeX |
12 |
A formal specification for BIL |
Dec 09, 2021 |
|
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 |
|
TLA |
2 |
lido finance formal specification |
Oct 19, 2021 |
|
LLVM |
42 |
Formal semantics of LLVM IR in K |
Aug 27, 2021 |
|
Rust |
4 |
An attempt to describe semantics |
Aug 06, 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 |
|
None |
3 |
Formal specification for the key management project |
Jan 29, 2023 |
|
Java |
39 |
Intellij plugin for TLA+ formal specification language. |
Apr 15, 2023 |
|
TeX |
1408 |
The "Yellow Paper": Ethereum's formal specification |
Aug 11, 2022 |
|
TeX |
2 |
The "Yellow Paper": Ethereum's formal specification |
Jan 09, 2022 |
|
None |
2 |
The "Yellow Paper": Ethereum's formal specification |
Oct 19, 2021 |
|
None |
18 |
A formal specification for changelog files and entries |
Nov 02, 2020 |
|
OCaml |
79 |
A tool-agnostic formal specification language for OCaml. |
Sep 06, 2022 |
|
Python |
3 |
Formal specification for the XR/17032 processor architecture. |
Apr 01, 2023 |
|
JavaScript |
5 |
Toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, … |
May 21, 2022 |
|
Java |
2 |
A Formal Specification Language Based on Statecharts |
Oct 07, 2022 |
|
F# |
187 |
F# RISC-V Instruction Set formal specification |
Apr 15, 2023 |
|
Haskell |
120 |
A formal semantics of the RISC-V ISA in Haskell |
Jul 21, 2022 |
|
None |
2 |
Semantics specification of programming languages in Maude |
Mar 12, 2021 |
|
None |
6 |
[WIP] Formal Specification for the Next Iteration of Reloaded |
Apr 21, 2023 |
|
Agda |
5 |
Formal model of Bitcoin transactions in Agda |
Jan 11, 2023 |
|
TLA |
13 |
A formal specification of snapshot isolation in TLA+. |
Jul 29, 2021 |
|
None |
2 |
Formal specification of attestation mechanisms in Confidential Computing |
Apr 20, 2023 |
|
OCaml |
16 |
A Formal Library as a Bitcoin Spin-Off |
Apr 24, 2021 |
|
Python |
6 |
An experimental attempt to abstract away async/await semantics |
Aug 14, 2021 |
|
Java |
8 |
A formal model of the FMI specification in VDM |
Nov 22, 2022 |
|
Coq |
100 |
Formal specification and verification of hardware, especially for security and privacy. |
Aug 08, 2022 |
|
ANTLR |
2 |
Specifies the semantics of the [V] specification language and provides tooling for the [V] specification … |
Jun 02, 2022 |
|
Lean |
5 |
A model and framework to prove formal semantics of MLIR programs in Lean4. |
Jan 28, 2023 |
|
None |
5 |
Executable Specification of Pi-Calculus with Reduction Semantics in Maude. |
Jul 08, 2022 |
|
Python |
12 |
scrapy bitcoin scripts |
Mar 13, 2022 |
|
Shell |
2 |
bitcoin miner scripts |
Aug 22, 2022 |
|
None |
8 |
Haphazard scripts for scraping bitcoin/bitcoin data from GitHub |
Oct 12, 2022 |
|
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 |
|
None |
6 |
Specification document's and scripts for the Zaidan Dealer JSONRPC specification. |
Feb 08, 2021 |
|
Assembly |
63 |
Automatic inference of a formal specification of the x86_64 instruction set |
Sep 12, 2022 |
|
None |
43 |
Specification for the sCrypt Smart Contract Language for Bitcoin SV |
Jul 30, 2022 |
|
Makefile |
7 |
Specification of GHC's spineless tagless G-machine and its cost semantics |
Oct 07, 2020 |
|
Scala |
37 |
An attempt to build axiomatic, formal set theory on top of Scala. |
Apr 18, 2023 |