Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
Repository Index
58,136 visible repositories in the index
1–24 of 25 · Most stars
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
- ida-plugin
- taint-analysis
- reverse-engineering
- disassembly
Parser combinators built for speed and memory efficiency
- ocaml
- parser-combinators
- parsing
OCaml bindings for PyTorch
Library for binding to C libraries using pure OCaml
OCaml bindings for TensorFlow
Easy OCaml bindings for Javascript libraries
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
OCaml bindings to the SQLite3 database
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
A neat interface for Slack
Redis bindings for OCaml
- ocaml
- ocaml-library
- redis-client
OCaml bindings for Kafka
- ocaml-bindings
- kafka
- librdkafka
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
OCaml bindings to MariaDB, supporting the nonblocking API
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Extensible binary data format, like JSON but faster
OCaml library for combinatorics
nanomsg bindings for ocaml
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
Pure OCaml implementation of libXdiff (Rabin's fingerprint)
OCaml bindings for OpenGL
- opengl
- ocaml
The dumb OCaml key-value store
- ocaml-library
- nosql
- persistent-storage
- hash-table