repos
33
ecosystems
9
languages
9
commits
1,077
─── top repos · by commits
─── repositories
33 totalSymbolic and concrete EVM execution engine
Ethereum smart contract fuzzer
Experimental Echidna Builds
Ethereum smart contract fuzzer
Ethereum smart contract fuzzer
Ethereum smart contract fuzzer
Manage and switch between Solidity compiler versions
Manage and switch between Solidity compiler versions
Manage and switch between Solidity compiler versions
Dapp, Seth, Hevm, and more
Dapp, Seth, Hevm, and more
Symbolic execution tool
Symbolic execution tool
Abstraction layer for smart contract build systems
Trail of Bits Testing Handbook - appsec.guide
Easily create authenticated data structures
Parse HTTP Security Headers
Ruby SPF Parser
Ruby DKIM Parser
Ruby API client for the Censys internet-wide network-scan search engine
Empire Hacking NYC Meetup
An experimental Tiny86 decoder and verifier for SIEVE
A set of SGX enclave samples that are built with Nix
A light-weight process isolation tool, making use of Linux namespaces and seccomp-bpf syscall filters (with help of the kafel bpf language)
Governance & ledger toolkit for cold wallets
Guidelines and training material to write secure smart contracts
Publications from Trail of Bits
A cross-platform library for verifying Authenticode signatures
Mapping the NYC Infosec Community
SNS governance & ledger toolkit for cold wallets
Guidelines and training material to write secure smart contracts
Simplify deployments in Elixir with OTP releases!
─── peer developers
─── ecosystems
─── languages
- Haskell7
- Python6
- Rust4
- Ruby4
- Solidity2
- CSS2
- C++2
- Nix1
- Elixir1
─── subscriber view
Unlock the full view of arcz
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.