ivg

socket

A High-level library dealing with low-level sockets.

x86-lifter

A tentative proposal for a new BAP x86 lifter

argot

Enhanced HTML generator for ocamldoc [mirror]

matkit

a matrix toolkit (mirror)

bap-workshops

Slides and code for bap-workshops

where

A query language in pure ocaml

awesome-malware-analysis

A curated list of awesome malware analysis tools and resources

bil

A formal specification for BIL

cpr

Compact Coordinates Report codec (ICAO Doc 9871 AN/464 section A.2.6.)

opam

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

tri

triangle solvers

vfile

virtual file interface

wald

a wald hypothesis testing algorithm

bap-frames

Store and read traces in Protobuf

bap-ida-python

integration with IDA

bap-plugins

BAP Plugins Repository

bap-testsuite

BAP test suite

bcc

cameo

a shell like language easily embeddable into OCaml

codoc

OCaml documentation generator

core_bench

dbrumley.github.io

ezjsonm

An easy interface on top of the Jsonm library.

ocaml-fileutils

ocaml-tar

Pure OCaml library to read and write tar files

ocp-indent

Indentation tool for OCaml, to be used from editors like Emacs and Vim.

oforest

An OCaml version of Forest with extensions

qira

QEMU Interactive Runtime Analyser

rvar

library for inexact values

uutf

Non-blocking streaming Unicode codec for OCaml