|
|
Lean |
7 |
A formal specification of the Yul IR semantics in the Lean proof assistant. |
Aug 03, 2022 |
|
|
Brainfuck |
9 |
Formal semantics of the Brainfuck language in K |
Apr 05, 2023 |
|
|
OCaml |
7 |
Formal semantics of OCaml |
Mar 28, 2017 |
|
|
Coq |
2 |
Formal semantics for LIO |
Apr 15, 2019 |
|
|
Agda |
12 |
Formal semantics in Agda. |
Apr 06, 2023 |
|
|
P4 |
67 |
Petr4: Formal Semantics for P4 |
Apr 14, 2023 |
|
|
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 |
|
|
Coq |
10 |
The project SPARK Formal aims at developing a complete semantics of the SPARK language in … |
Apr 01, 2022 |
|
|
Erlang |
3 |
Executable formal semantics for a subset of the Erlang programming language defined in the K … |
Oct 05, 2021 |
|
|
LLVM |
42 |
Formal semantics of LLVM IR in K |
Aug 27, 2021 |
|
|
C++ |
2 |
the intent formal language |
Mar 30, 2023 |
|
|
Haskell |
120 |
A formal semantics of the RISC-V ISA in Haskell |
Jul 21, 2022 |
|
|
WebAssembly |
62 |
A Prototype Formal Semantics of WebAssembly in K |
Aug 09, 2022 |
|
|
Verilog |
3 |
An attempt at a formal specification for Bitcoin, including formal semantics for Bitcoin scripts. |
Aug 22, 2016 |
|
|
Yul |
2 |
Yul |
Apr 21, 2023 |
|
|
Haskell |
18 |
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell. |
May 09, 2023 |
|
|
C# |
3 |
Felx & Yul |
Mar 05, 2022 |
|
|
Modelica |
15 |
A semantics compliance suite for the Modelica language |
Jul 15, 2021 |
|
|
JavaScript |
5 |
Toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, … |
May 21, 2022 |
|
|
Solidity |
2 |
Introduction to Solidity proxy contracts and Low level APIs using the YUL language |
Sep 04, 2023 |
|
|
Lean |
5 |
A model and framework to prove formal semantics of MLIR programs in Lean4. |
Jan 28, 2023 |
|
|
SMT |
92 |
Tools for Yul. |
Oct 20, 2022 |
|
|
Python |
8 |
The formal |
Apr 13, 2023 |
|
|
Clojure |
11 |
Formal definition and utility functions lib for the MBQL language |
Aug 10, 2020 |
|
|
R |
2 |
Tests mapping the semantics of the R language and their infrastructure |
Sep 12, 2017 |
|
|
Java |
2 |
A unified formal Bot Modeling Language (BML) |
Jan 09, 2023 |
|
|
Java |
2 |
A Formal Specification Language Based on Statecharts |
Oct 07, 2022 |
|
|
Java |
39 |
Intellij plugin for TLA+ formal specification language. |
Apr 15, 2023 |
|
|
TypeScript |
5 |
Generic VM-based formal language matching framework |
Dec 02, 2022 |
|
|
Python |
7 |
Noun Compositionality Detection Using Distributional Semantics for the Russian Language |
Nov 07, 2021 |
|
|
Coq |
3 |
Coinductive trace-based semantics for the While language in Coq |
Mar 15, 2022 |
|
|
Scala |
2 |
Natural language semantics of the people, by the people, for the people. |
May 03, 2018 |
|
|
C++ |
1911 |
SLING - A natural language frame semantics parser |
Jul 31, 2022 |
|
|
Makefile |
16 |
A K semantics of Tezos' Michelson language. |
Aug 01, 2022 |
|
|
C++ |
133 |
SLING - A natural language frame semantics parser |
May 08, 2023 |
|
|
JavaScript |
2 |
standalone yul implementation of the erc721 token |
May 20, 2022 |
|
|
ANTLR |
2 |
Specifies the semantics of the [V] specification language and provides tooling for the [V] specification … |
Jun 02, 2022 |
|
|
Vim script |
17 |
Syntax files for Yul |
Sep 21, 2022 |
|
|
Solidity |
93 |
Code examples in Yul |
Apr 23, 2023 |
|
|
Python |
5 |
Python port of Yul |
Feb 15, 2023 |
|
|
Solidity |
29 |
Resources to learn Yul. |
Oct 07, 2023 |
|
|
Coq |
81 |
A quantum circuit language and formal verification tool |
Mar 27, 2023 |
|
|
OCaml |
79 |
A tool-agnostic formal specification language for OCaml. |
Sep 06, 2022 |
|
|
Python |
269 |
Semantics-aware BERT for Language Understanding (AAAI 2020) |
Sep 12, 2022 |
|
|
Python |
2 |
A library for research in unnatural language semantics |
Apr 05, 2023 |
|
|
JavaScript |
20 |
Wrapped ETH, written in Yul+ |
Jul 21, 2022 |
|
|
None |
4 |
➕ A low-level, highly efficient extension to Yul, an intermediate language for the Ethereum Virtual … |
Mar 04, 2022 |
|
|
Nearley |
136 |
➕ A low-level, highly efficient extension to Yul, an intermediate language for the Ethereum Virtual … |
Aug 09, 2022 |