Maciek Malik's repositories
hedera-services
Crypto, token, consensus, file, and smart contract services for the Hedera public ledger
Language:JavaApache-2.0000
jmt
An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
Apache-2.0000
diem
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Apache-2.0000
LGPL-3.0000
hedera-json-rpc-relay
Implementation of Ethereum JSON-RPC APIs for Hedera
Apache-2.0000
slither
Static Analyzer for Solidity and Vyper
AGPL-3.0000
hedera-smart-contracts
Contains Hedera Smart Contract Service supporting files
Apache-2.0000
MAIAN
MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
MIT000
PSPs
Polkadot Smart Contract Proposals
CC0-1.0000
manticore
Symbolic execution tool
AGPL-3.0000