Pinned Repositories
afl-cgc
awesome-libra
A collection about all things Libra, Move & Zuckerbucks - Let's reinvent money with fast and cheap world-wide transfers; let's bank the 1.7 billion unbanked, ...
balancer-core
Balancer on the EVM
bitcoin-abc
This a mirror of the official Bitcoin-ABC repository. Please see README.md
Blockchain
Compilation of useful documents and scientific papers about Blockchain & cryptocurrencies.
cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
dapptools
Dapp, Seth, Hevm, and more
deepstate
DeepState augments C/C++ Test-Driven Development with Symbolic Execution
LAME-fuzzers
logic_bombs
This repository contains several examples of logic bomb.
ggrieco-tob's Repositories
ggrieco-tob/logic_bombs
This repository contains several examples of logic bomb.
ggrieco-tob/LAME-fuzzers
ggrieco-tob/afl-cgc
ggrieco-tob/awesome-libra
A collection about all things Libra, Move & Zuckerbucks - Let's reinvent money with fast and cheap world-wide transfers; let's bank the 1.7 billion unbanked, ...
ggrieco-tob/balancer-core
Balancer on the EVM
ggrieco-tob/bitcoin-abc
This a mirror of the official Bitcoin-ABC repository. Please see README.md
ggrieco-tob/Blockchain
Compilation of useful documents and scientific papers about Blockchain & cryptocurrencies.
ggrieco-tob/cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
ggrieco-tob/dapptools
Dapp, Seth, Hevm, and more
ggrieco-tob/deepstate
DeepState augments C/C++ Test-Driven Development with Symbolic Execution
ggrieco-tob/dev
Liquity monorepo containing the contracts, SDK and Dev UI frontend.
ggrieco-tob/DevContest
Generic contract that can plug into existing ERC20 tokens to run crowdsourced development contests for your platform
ggrieco-tob/flood-contracts
Contracts and bindings for Flood, the optimal routing liquidity protocol.
ggrieco-tob/grr
High-throughput fuzzer and emulator of DECREE binaries
ggrieco-tob/k-dss
formal verification of multicollateral dai in the K framework
ggrieco-tob/masala
Standalone Ethereum Virtual Machine
ggrieco-tob/osquery
SQL powered operating system instrumentation, monitoring, and analytics.
ggrieco-tob/soda-contracts
ggrieco-tob/testfs
DeepState testing for TestFS, a user level toy file system that is similar to ext3
ggrieco-tob/wasm-tools
CLI and Rust libraries for low-level manipulation of WebAssembly modules