Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
- security-analysis
- ethereum
- blockchain
- smart-contracts
Repository Index
78,351 visible repositories in the index
1–6 of 6 · Most stars
RDT-1B: a Diffusion Foundation Model for Bimanual Manipulation
GeoNode is an open source platform that facilitates the creation, sharing, and collaborative use of geospatial data.
A Textual User Interface for interacting with Atlassian Jira from your shell
A command line tool and library for generating FFI wrappers for Common Lisp
- ffi
- common-lisp
- cffi
- clang
A mini SDI-12 implementation for getting sensor info over RS-485
- micropython
- sdi-12
- sensor
- pycom