Sebastian N. Fernandez

keras-fractalnet. FractalNet implementation in Keras: Ultra-Deep Neural Networks without Residuals

llvm_assemble. LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)

synthir. IR Transformation Synthesis for Assembly Instructions

exploit. Some scripts, tools and experiments related to exploitation

z3-rs. Rust safe bindings to Z3 solver

z3-sys. Rust unsafe bindings to Z3 solver

snf.github.com. SCSS

mythril. Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.