Updated 6 months ago
Sundials
Julia interface to Sundials, including a nonlinear solver (KINSOL), ODE's (CVODE and ARKODE), and DAE's (IDA) in a SciML scientific machine learning enabled manner
Updated 5 months ago
fa
Automation tool for locating symbols & structs in binary (primary IDA focused)
Updated 5 months ago
https://github.com/crytic/ida-evm
IDA Processor Module for the Ethereum Virtual Machine (EVM)