Smart contract auditing assistant tool for Truffle Framework.
☆17Dec 9, 2022Updated 3 years ago
Alternatives and similar repositories for truffle-sca2t
Users that are interested in truffle-sca2t are comparing it to the libraries listed below
Sorting:
- CLI client for the MythX API☆20Dec 30, 2022Updated 3 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆59Sep 9, 2020Updated 5 years ago
- Mess up web3 with React☆13Dec 7, 2022Updated 3 years ago
- Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence☆38Nov 11, 2020Updated 5 years ago
- Guide to auditing EVM smart contracts using tools☆22Apr 2, 2023Updated 2 years ago
- Solstice is a security analysis framework for investigative smart contract examination. The first prototype of Solstice, code named W18 (…☆20Jan 13, 2019Updated 7 years ago
- Create sites with base44 and use as standalone☆17Jan 18, 2026Updated last month
- Verified contracts synced from Etherscan☆63Oct 19, 2018Updated 7 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆32Jan 24, 2023Updated 3 years ago
- A tool to test and deploy ethereum smart contract☆32Feb 19, 2026Updated 2 weeks ago
- XYFI Swap Contract Source Code☆10Nov 11, 2020Updated 5 years ago
- A High-Frequency Market-Making bot for CoinCheck.jp☆10Oct 30, 2017Updated 8 years ago
- ☆22Jul 26, 2021Updated 4 years ago
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆42Aug 31, 2018Updated 7 years ago
- ☆10Sep 2, 2021Updated 4 years ago
- Cuda Miner for BeamHash (Equihash 150,5)☆13Jan 16, 2019Updated 7 years ago
- Papers of smart contract security analysis (and tools)☆36Jun 5, 2019Updated 6 years ago
- Android pin cracker☆13Mar 25, 2022Updated 3 years ago
- 电子发票系统☆12Nov 26, 2016Updated 9 years ago
- 文件上传，图片上传(后缀名验证，文件类型验证)，大文件分片上传，“秒传”，断点续传，传输失败自动重试，手动重试☆10Apr 14, 2018Updated 7 years ago
- 医学影像数据集列表☆11Apr 20, 2021Updated 4 years ago
- ☆11Oct 20, 2021Updated 4 years ago
- ☆12Jun 17, 2017Updated 8 years ago
- Yao's Garbled Circuits (Java/AES)☆10Dec 9, 2013Updated 12 years ago
- BioPerl scripts and utilities☆11Sep 2, 2025Updated 6 months ago
- CrawlAI is a project where the developers can get a hands-on experience with genetic algorithms and neural network. The objection is to l…☆15Nov 14, 2024Updated last year
- A curated list of resources and tools for the MythX smart contract security API☆254Jun 15, 2020Updated 5 years ago
- Use dydx to arbitrage between Coifx and Uniswap☆10Dec 29, 2020Updated 5 years ago
- A set of developer tools for programmers working on Moos.☆10Feb 19, 2024Updated 2 years ago
- Demonstration of ESP32 Deep Sleep via GPIO using a Door Sensor and MongooseOS/ESP-IDF☆11Mar 27, 2018Updated 7 years ago
- Allows easy navigation of your ECS resources☆11May 24, 2017Updated 8 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- Implements an encryptable machine (shapeCPU Java)☆11Aug 26, 2015Updated 10 years ago
- Graph autolayout library in Go☆11Aug 21, 2025Updated 6 months ago
- Line editor and Cisco-style command tree☆13May 16, 2022Updated 3 years ago
- Line-for-line port of Rogue from C to Common Lisp☆12Jan 7, 2021Updated 5 years ago
- UDPSpeeder && UDP2raw 一键搭建脚本☆10May 18, 2020Updated 5 years ago
- FAUCET is an OpenFlow controller for multi table OpenFlow 1.3 switches, that implements layer 2 switching, VLANs, ACLs, and layer 3 IPv4 …☆14Nov 18, 2019Updated 6 years ago
- Header only debug module for c++11☆38Feb 6, 2015Updated 11 years ago