snf

@MarshallWace @BitFinding

Pinned Repositories

com-rs
A Rust crate for creating and consuming COM APIs
Language:Rust599 31 9355
exploit
Some scripts, tools and experiments related to exploitation
Language:Jupyter Notebook3 1 00
keras-fractalnet
FractalNet implementation in Keras: Ultra-Deep Neural Networks without Residuals
Language:Python155 9 538
llvm_assemble
LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)
Language:C++19 4 05
mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
Language:Python1 0 00
snf.github.com
Language:SCSS1 2 01
synthir
IR Transformation Synthesis for Assembly Instructions
Language:Rust8 2 10
z3-rs
Rust safe bindings to Z3 solver
Language:Rust3 1 01
z3-sys
Rust unsafe bindings to Z3 solver
Language:Rust3 2 00

snf's Repositories

snf/llvm_assemble
LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)
Language:C++19 4 05
snf/z3-rs
Rust safe bindings to Z3 solver
Language:Rust3 1 01
snf/z3-sys
Rust unsafe bindings to Z3 solver
Language:Rust3 2 00
snf/keras
Deep Learning library for Python. Convnets, recurrent neural networks, and more. Runs on Theano or TensorFlow.
Language:Python1 0
snf/klee
KLEE Symbolic Virtual Machine
Language:C++1 0
snf/rr
Record and Replay Framework
Language:C++1 0
snf/rust-bitcoin
Rust Bitcoin library
snf/rust-capstone
Language:Rust1 0
snf/rust-mozjs
Rust bindings to SpiderMonkey
Language:Rust1 0
snf/servo
The Servo Browser Engine
Language:HTML1 0
snf/synthir_def_parser
Definition file parser for CPU arch description
Language:F#1 0
snf/synthir_execute
Synthir execution helper
Language:C1 0
snf/webappsec-csp
WebAppSec Content Security Policy
Language:HTML1 0