Pinned Repositories
firedancer
Firedancer is Jump Crypto's Solana validator software.
Tetris
A Tetris clone written in C/C++ using SDL
mkr-mcd-spec
High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
k
K Framework Tools 7.0
llvm-backend
KORE to llvm translation
plutus-core-semantics
wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
gtrepta's Repositories
gtrepta/Tetris
A Tetris clone written in C/C++ using SDL