|
Java |
39 |
Intellij plugin for TLA+ formal specification language. |
Apr 15, 2023 |
|
OCaml |
79 |
A tool-agnostic formal specification language for OCaml. |
Sep 06, 2022 |
|
TeX |
10 |
NEO's formal specification |
Jun 14, 2022 |
|
TLA |
2 |
lido finance formal specification |
Oct 19, 2021 |
|
TeX |
12 |
A formal specification for BIL |
Dec 09, 2021 |
|
TypeScript |
5 |
Generic VM-based formal language matching framework |
Dec 02, 2022 |
|
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 |
3 |
Formal specification for the key management project |
Jan 29, 2023 |
|
F# |
187 |
F# RISC-V Instruction Set formal specification |
Apr 15, 2023 |
|
C++ |
2 |
the intent formal language |
Mar 30, 2023 |
|
Go |
12 |
Statecharts |
Apr 05, 2023 |
|
TLA |
13 |
A formal specification of snapshot isolation in TLA+. |
Jul 29, 2021 |
|
None |
18 |
A formal specification for changelog files and entries |
Nov 02, 2020 |
|
Python |
3 |
Formal specification for the XR/17032 processor architecture. |
Apr 01, 2023 |
|
None |
2 |
Formal specification of attestation mechanisms in Confidential Computing |
Apr 20, 2023 |
|
Verilog |
3 |
An attempt at a formal specification for Bitcoin, including formal semantics for Bitcoin scripts. |
Aug 22, 2016 |
|
TypeScript |
6 |
A state management tool based on statecharts. |
Feb 10, 2022 |
|
Java |
3 |
The statecharts language project. This is a mirror only. |
Feb 10, 2022 |
|
None |
6 |
[WIP] Formal Specification for the Next Iteration of Reloaded |
Apr 21, 2023 |
|
Java |
8 |
A formal model of the FMI specification in VDM |
Nov 22, 2022 |
|
Python |
3 |
Python-based interpreter for Rule Specification Language (RSL) |
Jul 04, 2021 |
|
Shell |
6 |
Formal semantics of the yul language |
May 16, 2022 |
|
Kotlin |
313 |
Kotlin Language Specification: |
Jul 21, 2022 |
|
PHP |
2272 |
PHP Language Specification |
Jul 28, 2022 |
|
None |
2 |
PHP Language Specification |
Apr 28, 2023 |
|
HTML |
2 |
C# language specification |
Dec 29, 2020 |
|
None |
2 |
PHP Language Specification |
Mar 05, 2023 |
|
Python |
332 |
Ferrocene Language Specification |
Apr 26, 2023 |
|
VimL |
3 |
TLA+ specification language |
Sep 14, 2021 |
|
None |
13 |
Tact language specification |
Feb 20, 2023 |
|
None |
2 |
Ferrocene Language Specification |
Nov 26, 2023 |
|
TypeScript |
2 |
Interslavic language specification |
Apr 16, 2024 |
|
Java |
2 |
A unified formal Bot Modeling Language (BML) |
Jan 09, 2023 |
|
Coq |
100 |
Formal specification and verification of hardware, especially for security and privacy. |
Aug 08, 2022 |
|
Assembly |
63 |
Automatic inference of a formal specification of the x86_64 instruction set |
Sep 12, 2022 |
|
None |
7 |
Finite State Language specification |
Jul 19, 2022 |
|
None |
9 |
Language Specification for twinBASIC |
Aug 08, 2022 |
|
Rust |
227 |
Metamath Zero specification language |
Aug 12, 2022 |
|
None |
251 |
HTML Template Language Specification |
Aug 10, 2022 |
|
HTML |
5 |
[WIP] Handlebars Language Specification |
Oct 21, 2022 |
|
None |
2 |
Smart contract specification language |
Oct 19, 2021 |
|
HTML |
16 |
Clincal Quality Language Specification |
Apr 12, 2022 |
|
None |
24 |
ECMAScript Language Specification Comparator |
Apr 17, 2022 |
|
TeX |
44 |
Erlang Language Specification (Draft) |
Apr 21, 2022 |
|
Haskell |
126 |
Smart contract specification language |
Aug 06, 2022 |
|
None |
4 |
The llama Language Specification |
Feb 15, 2019 |
|
Python |
2 |
HAROS Property Specification Language |
Mar 09, 2023 |
|
Makefile |
2 |
The Austral Language Specification |
Jan 06, 2023 |