Pinned Repositories
capstone-ocaml
OPAM friendly bindings to capstone library
falcon
Formal Binary Analysis Framework in Rust
ida
Interact with IDA Pro from OCaml
ocaml-curses
Modified ocaml-curses with printw family of functions.
ocaml-tiger
Bindings to Tiger cryptographic hash function (128, 160, 192 bits supported)
oclang
OCaml bindings to libclang.
pretty
OCaml ANSI/VT100 library.
safe-string
Library ensuring safety of string operations in C.
weggli-ruleset
yabai
A tiling window manager for macOS based on binary space partitioning
xorpse's Repositories
xorpse/yabai
A tiling window manager for macOS based on binary space partitioning
xorpse/weggli-ruleset
xorpse/fasttext-rs
fastText Rust binding
xorpse/idalib-mp
xorpse/weggli
weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.
xorpse/binaryninja-api
Public API, examples, documentation and issues for Binary Ninja
xorpse/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
xorpse/boolector-rs
Safe high-level bindings for the Boolector SMT solver
xorpse/cfasttext
A fastText C wrapper
xorpse/efiXplorer
IDA plugin for UEFI firmware analysis and reverse engineering automation
xorpse/egg
egg is a flexible, high-performance e-graph library
xorpse/everywhereml
xorpse/faiss-rs
Rust language bindings for Faiss
xorpse/goblin
An impish, cross-platform binary parsing crate, written in Rust
xorpse/homebrew-formulae
xorpse/kellnr
The registry for Rust crates
xorpse/ngram
Rust iterator adaptors for n-grams and k-skip-n-grams
xorpse/osv
Rust implementation of ossf osv specification
xorpse/schemars
Generate JSON Schema documents from Rust code
xorpse/serde_avro_fast
An idiomatic implementation of serde/avro (de)serialization
xorpse/simple-lp
xorpse/slab
Slab allocator for Rust
xorpse/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
xorpse/sourcetrail
xorpse/swipl-rs
xorpse/tokio-rayon
Mix async code with CPU-heavy thread pools using Tokio + Rayon
xorpse/wegglir
Weggli(r) ruleset scanner for binaries and source code
xorpse/xorpse.github.io
xorpse/yaml-rust
A pure rust YAML implementation.
xorpse/zip2
Zip implementation in Rust