|
|
HTML |
76 |
Network Semantics |
Feb 27, 2023 |
|
|
JavaScript |
19 |
JavaScript semantics |
Jun 17, 2019 |
|
|
Java |
4 |
Drools Semantics Module |
Sep 16, 2017 |
|
|
Coq |
9 |
linear logic semantics |
Jun 30, 2022 |
|
|
Scala |
12 |
Daf Semantics repository |
Jun 24, 2022 |
|
|
Coq |
16 |
Semantics for Cryptol |
Mar 30, 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 |
|
|
OCaml |
77 |
Semantics for ES5 |
Apr 22, 2023 |
|
|
Python |
3 |
PL Semantics Tool |
Sep 16, 2016 |
|
|
Python |
5 |
Tabular data semantics |
Jun 14, 2022 |
|
|
HTML |
4 |
Exploration. |
Nov 27, 2020 |
|
|
Java |
8 |
Apache HBase Filesystem Semantics |
Jun 28, 2022 |
|
|
OCaml |
7 |
Formal semantics of OCaml |
Mar 28, 2017 |
|
|
Python |
4 |
Nock semantics in K |
Apr 21, 2023 |
|
|
Agda |
7 |
Semantics of Programming Languages |
Jul 17, 2022 |
|
|
TypeScript |
7 |
An interactive semantics explorer |
Dec 14, 2022 |
|
|
Coq |
2 |
Formal semantics for LIO |
Apr 15, 2019 |
|
|
Agda |
12 |
Formal semantics in Agda. |
Apr 06, 2023 |
|
|
Elixir |
2 |
DDD semantics for blunt |
Sep 13, 2022 |
|
|
Coq |
3 |
Refinement-Based Game Semantics |
Jan 17, 2022 |
|
|
Python |
17 |
MISIM: A Neural Code Semantics Similarity System Using the Context-Aware Semantics Structure |
Apr 17, 2023 |
|
|
C |
2 |
OSdev exploration |
Oct 16, 2020 |
|
|
JavaScript |
2 |
React exploration |
Mar 08, 2023 |
|
|
Swift |
2 |
SceneKit exploration |
Aug 04, 2019 |
|
|
R |
2 |
data exploration |
Apr 09, 2021 |
|
|
Svelte |
2 |
NFT Exploration |
Mar 27, 2022 |
|
|
Assembly |
19 |
Bootloader exploration |
Dec 11, 2022 |
|
|
TypeScript |
6 |
Fullstacks Exploration |
Jun 29, 2022 |
|
|
HTML |
2 |
NFT Exploration |
Sep 22, 2022 |
|
|
Go |
2 |
Graph exploration |
Apr 04, 2023 |
|
|
JavaScript |
3 |
Instagram exploration |
May 06, 2017 |
|
|
TypeScript |
38 |
i18n exploration |
May 14, 2023 |
|
|
Coq |
33 |
A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and … |
Mar 16, 2023 |
|
|
Haskell |
3 |
A Haskell Library and Command Line Interface to work with MIX archives from the older … |
Dec 21, 2020 |
|
|
Haskell |
3 |
Very simple text summarization |
Mar 06, 2020 |
|
|
Haskell |
3 |
Command Line Interface for https://validator.w3.org/ |
Dec 27, 2019 |
|
|
Haskell |
3 |
None |
Jan 09, 2020 |
|
|
Haskell |
3 |
Types for colors |
Dec 05, 2019 |
|
|
Haskell |
3 |
None |
Feb 03, 2020 |
|
|
Haskell |
3 |
heterogenous traversal |
May 03, 2022 |
|
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
|
Haskell |
3 |
Elevator for effects |
Dec 05, 2019 |
|
|
Haskell |
3 |
None |
Jan 04, 2020 |
|
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
|
Haskell |
3 |
Omit top-level module prefices |
Sep 26, 2020 |
|
|
Haskell |
3 |
None |
Dec 05, 2019 |