-
Notifications
You must be signed in to change notification settings - Fork 14
References
Ðavid edited this page Aug 21, 2023
·
2 revisions
- Ubuntu 22.04: https://releases.ubuntu.com/22.04/
- Ethereum: https://github.com/ethereum/go-ethereum
- Nano: https://www.nano-editor.org/
- Python3.9: https://www.python.org/downloads/release/python-390/
- Git: https://git-scm.com/
- Curl: https://curl.se/
- Wget: https://www.gnu.org/software/wget/
- Gawk: https://www.gnu.org/software/gawk/
- Ripgrep: https://github.com/BurntSushi/ripgrep
- Z3: https://github.com/Z3Prover/z3
- Pandoc: https://pandoc.org/
- Openssh-client: https://www.openssh.com/
- Texlive: https://www.tug.org/texlive/
- Zip: https://linux.die.net/man/1/zip
- Vim https://github.com/ethereum/vim-solidity
- Cargo: https://doc.rust-lang.org/cargo/getting-started/installation.html
- Heimdall: https://github.com/Jon-Becker/heimdall-rs/
- Foundry: https://book.getfoundry.sh/getting-started/installation / https://github.com/foundry-rs/foundry/tree/master
- Forge: https://github.com/foundry-rs/foundry/tree/master/crates/forge
- Anvil: https://github.com/foundry-rs/foundry/tree/master/crates/anvil
- Cast: https://github.com/foundry-rs/foundry/tree/master/crates/cast
- Chisel: https://github.com/foundry-rs/foundry/tree/master/crates/chisel
- Halmos: https://github.com/a16z/halmos/
- 4nalyz3r: https://github.com/Picodes/4naly3er
- Echidna: https://github.com/crytic/echidna
- Slither: https://github.com/crytic/slither
- Pessimistic: https://github.com/pessimistic-io/slitherin
- Medusa: https://github.com/crytic/medusa
- Manticore: https://github.com/trailofbits/manticore
- Crytic Compile: https://github.com/crytic/crytic-compile
- Solc-select: https://github.com/crytic/solc-select
- Etheno: https://github.com/crytic/etheno
- Prover: https://github.com/Certora/Tutorials
- Mythril: https://github.com/ConsenSys/mythril
- Ganache:https://trufflesuite.com/ganache/
- Truffle:https://trufflesuite.com/truffle/
- Noir: https://noir-lang.org/getting_started/nargo_installation/
- Julia: https://julialang.org/
- Circom: https://github.com/iden3/circom
- Spearbit Report Generator (only dependencies) https://github.com/spearbit-audits/report-generator-template
- Node (lts): https://nodejs.org/
- Yarn: https://yarnpkg.com/
- Npm: https://www.npmjs.com/
- Nvm: https://github.com/nvm-sh/nvm