Repository Index

Binary Analysis Platform

• binary-analysis
• reverse-engineering
• program-analysis
• static-analysis

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

A high performance, memory efficient, and scalable web server written in OCaml

• ocaml
• http

OCaml bindings for PyTorch

• ocaml
• pytorch
• machine-learning
• artificial-intelligence

Library for binding to C libraries using pure OCaml

Code coverage for OCaml and ReScript

• coverage
• ocaml

OCaml bindings for TensorFlow

OCaml debug adapter

• debugger
• debug-adapter-protocol
• ocaml

A REST toolkit for OCaml

• ocaml
• webmachine
• web
• http

Easy OCaml bindings for Javascript libraries

Self-contained monadic parser combinators for OCaml

• parser-combinators
• parser-monad

typed bidirectional router for OCaml/ReasonML web applications

• ocaml
• router
• http-router
• http-routing

OCaml bindings to the SQLite3 database

• ocaml
• database
• sqlite3

OCaml Bioinformatics Library

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

A neat interface for Slack

• ocaml
• slack
• binding
• bot

Redis bindings for OCaml

• ocaml
• ocaml-library
• redis-client

An SMT solver frontend for OCaml

• ocaml
• smt-lib
• symbolic-execution
• z3

OCaml bindings for Kafka

• ocaml-bindings
• kafka
• librdkafka

OCaml Amqp client library for Async and Lwt.

• amqp-client
• rabbitmq
• async
• ocaml

Binding to Cairo, a 2D Vector Graphics Library.

• cairo
• ocaml
• stroke
• drawing

OCaml bindings to MariaDB, supporting the nonblocking API

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning