Updated 6 months ago

Sundials • Rank 17.8 • Science 67%

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 • Rank 11.4 • Science 26%

Automation tool for locating symbols & structs in binary (primary IDA focused)

Updated 5 months ago

https://github.com/crytic/ida-evm • Rank 7.2 • Science 13%

IDA Processor Module for the Ethereum Virtual Machine (EVM)