repos
178
ecosystems
13
languages
12
commits
1,264
Top repos · by commits
Repositories
178 totalK Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
Forked KEVM for FVyper project
K Semantics of the Ethereum Virtual Machine (EVM)
K Semantics of the Ethereum Virtual Machine (EVM)
Semantics of Virtual Machine for IELE prototype blockchain
A K semantics of Tezos' Michelson language.
K Framework Tools 7.0
The symbolic execution engine powering the K Framework
Python tools for the K Framework
The Plutus application platform
Marlowe smart contract language Cardano implementation
The Plutus language implementation and tools
A Formal Semantics of WebAssembly in K
KORE to llvm translation
K plugin for IELE and KEVM
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
Tools for CI servers centered around Git
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Marlowe website
The Plutus language implementation and tools
The Plutus language reference implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus language reference implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language reference implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language reference implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language reference implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
KORE to llvm translation
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
Peer developers
Ecosystems
Languages
- Haskell49
- HTML18
- Python4
- Makefile4
- C++2
- KCL1
- WebAssembly1
- PureScript1
- Shell1
- Nunjucks1