Pinned Repositories
com-rs
A Rust crate for creating and consuming COM APIs
exploit
Some scripts, tools and experiments related to exploitation
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)
mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
snf.github.com
synthir
IR Transformation Synthesis for Assembly Instructions
z3-rs
Rust safe bindings to Z3 solver
z3-sys
Rust unsafe bindings to Z3 solver
snf's Repositories
snf/keras-fractalnet
FractalNet implementation in Keras: Ultra-Deep Neural Networks without Residuals
snf/synthir
IR Transformation Synthesis for Assembly Instructions
snf/exploit
Some scripts, tools and experiments related to exploitation
snf/mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
snf/snf.github.com
snf/byteorder
Rust library for reading/writing numbers in big-endian and little-endian.
snf/.emacs.d
snf/bsc-erigon
Ethereum implementation on the efficiency frontier
snf/bsc-snapshots
bsc daily snapshot
snf/carddb
Content of TCG ONE New Card Database. Please see/submit card definitions under src/main/resources/cards.
snf/cargo
The Rust package manager
snf/diesel
A safe, extensible ORM and Query Builder for Rust
snf/dnSpy
.NET debugger and assembly editor
snf/gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
snf/gpt-engineer
Specify what you want it to build, the AI asks for clarification, and then builds it.
snf/hardhat-vscode
Solidity and Hardhat support for Visual Studio Code
snf/move-mode
Emacs major mode for Move smart contract programming language.
snf/mp4parse_fallible
Fallible variant of Vec optionally used in the mp4parse crate.
snf/MSRC-Security-Research
Security Research from the Microsoft Security Response Center (MSRC)
snf/quaint
SQL Query AST and Visitor for Rust
snf/reth-bsc
BSC and opBNB client based on the Reth fork
snf/rust
A safe, concurrent, practical language.
snf/rust_crashes
This is a collection of artificial bugs written in Rust code. The objective is to aid in the investigation of Rust debugging tools and crash dump analysis support.
snf/samba-docker
A Dockerfile to build multi-architecture images of Samba, which is the standard Windows interoperability suite of programs for Linux and Unix. This is my personal docker recipe.
snf/snmalloc-rs
rust bindings of snmalloc
snf/souffle-lsp-plugin
Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin
snf/sqlx
🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, SQLite, and MSSQL.
snf/SymFusion
SymFusion: Hybrid Instrumentation for Concolic Execution
snf/tcgone-engine-contrib
TCG ONE (Pokemon TCG Simulator) card implementation repository
snf/trueblocks-core
The main repository for the TrueBlocks system