Pinned Repositories
blockchain-k-plugin
K plugin for IELE and KEVM
code-metrics
dss
Dai Stablecoin System
erc20-semantics
ERC20 in K
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
git-helpers
k-tutorial
https://github.com/kframework/k/tree/master/k-distribution/k-tutorial
solidity-webinar
10.05.2022
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
kontrol
anvacaru's Repositories
anvacaru/k-tutorial
https://github.com/kframework/k/tree/master/k-distribution/k-tutorial
anvacaru/solidity-webinar
10.05.2022
anvacaru/blockchain-k-plugin
K plugin for IELE and KEVM
anvacaru/code-metrics
anvacaru/dss
Dai Stablecoin System
anvacaru/erc20-semantics
ERC20 in K
anvacaru/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
anvacaru/git-helpers
anvacaru/k
K Framework Tools 5.0
anvacaru/kore
anvacaru/miniHaskellLaborator
anvacaru/nova-tehnical
anvacaru/onlinenotes
Web app used in order to share and keep notes.
anvacaru/protobuf
Protocol Buffers - Google's data interchange format
anvacaru/RE2DFA
Regex to DFA converter in javascript
anvacaru/reliquaries_trd
anvacaru/Solidity-Immutable-Samples
anvacaru/verified-smart-contracts
Smart contracts which are formally verified