unboxedtype
Researcher/Software engineer in the area of software reliability, formal methods, computer security
UAE
Pinned Repositories
dafny
Dafny is a verification-aware programming language
echidna
Ethereum fuzz testing framework
eEVM
Enclave ready EVM (eEVM) is an open-source, standalone, embeddable, C++ implementation of the Ethereum Virtual Machine.
ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
EVF
Everscale Verification Framework
light
light-assembler
Ever Assembler module in a form of shared library for Light Compiler
neo-node
ton-labs-contracts
Smart contracts for TON blockchain.
unboxedtype's Repositories
unboxedtype/light
unboxedtype/EVF
Everscale Verification Framework
unboxedtype/dafny
Dafny is a verification-aware programming language
unboxedtype/echidna
Ethereum fuzz testing framework
unboxedtype/eEVM
Enclave ready EVM (eEVM) is an open-source, standalone, embeddable, C++ implementation of the Ethereum Virtual Machine.
unboxedtype/ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
unboxedtype/light-assembler
Ever Assembler module in a form of shared library for Light Compiler
unboxedtype/neo-node
unboxedtype/ton-labs-contracts
Smart contracts for TON blockchain.
unboxedtype/TVM-linker
TVM linker takes TVM assembly source code of TON smart contract, compiles it and links its parts, adds standard selector and runtime and stores it into binary TVC file