Sam L. Thomas's repositories
fasttext-rs
fastText Rust binding
binaryninja-api
Public API, examples, documentation and issues for Binary Ninja
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
boolector-rs
Safe high-level bindings for the Boolector SMT solver
cfasttext
A fastText C wrapper
efiXplorer
IDA plugin for UEFI firmware analysis and reverse engineering automation
egg
egg is a flexible, high-performance e-graph library
faiss-rs
Rust language bindings for Faiss
flapigen-rs
Tool for connecting programs or libraries written in Rust with other languages
goblin
An impish, cross-platform binary parsing crate, written in Rust
kellnr
The registry for Rust crates
ngram
Rust iterator adaptors for n-grams and k-skip-n-grams
ocaml-interop
OCaml<->Rust FFI with an emphasis on safety.
osv
Rust implementation of ossf osv specification
schemars
Generate JSON Schema documents from Rust code
serde_avro_fast
An idiomatic implementation of serde/avro (de)serialization
slab
Slab allocator for Rust
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.
tokio-rayon
Mix async code with CPU-heavy thread pools using Tokio + Rayon
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.
yaml-rust
A pure rust YAML implementation.