Andrei Văcaru's repositories
k-tutorial
https://github.com/kframework/k/tree/master/k-distribution/k-tutorial
solidity-webinar
10.05.2022
Language:JavaScript000
dss
Dai Stablecoin System
Language:SolidityAGPL-3.0000
erc20-semantics
ERC20 in K
NOASSERTION000
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Language:Shell000
k
K Framework Tools 5.0
Language:JavaNOASSERTION000
Language:HaskellNOASSERTION000
onlinenotes
Web app used in order to share and keep notes.
Language:Java000
Language:HaskellNOASSERTION000
Language:Python000
RE2DFA
Regex to DFA converter in javascript
Language:JavaScript000
Language:Python000
Language:JavaScript000
Language:Circom000
verified-smart-contracts
Smart contracts which are formally verified
Language:Python000