Gustavo Grieco (ggrieco-tob)

ggrieco-tob

Geek Repo

Company:@trailofbits

Github PK Tool:Github PK Tool


Organizations
crytic

Gustavo Grieco's repositories

logic_bombs

This repository contains several examples of logic bomb.

Language:CLicense:GPL-3.0Stargazers:2Issues:1Issues:0
Language:CStargazers:0Issues:1Issues:0

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, ...

License:CC0-1.0Stargazers:0Issues:1Issues:0

balancer-core

Balancer on the EVM

Language:SolidityLicense:GPL-3.0Stargazers:0Issues:1Issues:0

bitcoin-abc

This a mirror of the official Bitcoin-ABC repository. Please see README.md

Language:C++License:MITStargazers:0Issues:1Issues:0

Blockchain

Compilation of useful documents and scientific papers about Blockchain & cryptocurrencies.

Stargazers:0Issues:1Issues:0

cosmos-sdk

:chains: A Framework for Building High Value Public Blockchains :sparkles:

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

dapptools

Dapp, Seth, Hevm, and more

Language:HaskellStargazers:0Issues:1Issues:0

deepstate

DeepState augments C/C++ Test-Driven Development with Symbolic Execution

Language:CLicense:Apache-2.0Stargazers:0Issues:1Issues:0

dev

Liquity monorepo containing the contracts, SDK and Dev UI frontend.

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:1Issues:0

DevContest

Generic contract that can plug into existing ERC20 tokens to run crowdsourced development contests for your platform

Language:JavaScriptStargazers:0Issues:1Issues:0

grr

High-throughput fuzzer and emulator of DECREE binaries

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

k-dss

formal verification of multicollateral dai in the K framework

Language:GCC Machine DescriptionLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

masala

Standalone Ethereum Virtual Machine

Language:HaskellLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

osquery

SQL powered operating system instrumentation, monitoring, and analytics.

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0
Language:SolidityLicense:WTFPLStargazers:0Issues:1Issues:0

testfs

DeepState testing for TestFS, a user level toy file system that is similar to ext3

Language:CStargazers:0Issues:1Issues:0

wasm-tools

CLI and Rust libraries for low-level manipulation of WebAssembly modules

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0