ivg

lwt-parallel

Lwt-enabled distributed computing library

framespector

stack frame inspector

randeval

A small instruction level fuzzer/differ

bap

BAP Core Library

bap-2017-workshop

Slides and code from the BAP 2017 workshop in Cylab's partners conference

emacs-dot

minor mode for graph visualization

bap-bindings

C Bindings to BAP

bap-server

bap RPC server

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

bap-mode

An Emacs major mode for BAP's intermediate language

core-lwt

Lwt in Janestreet's Core style

docs

Documentation for CoreOS projects

dune

A composable build system for OCaml.

fuzzers

merlin

Context sensitive completion for OCaml in Vim and Emacs

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-inotify

OCaml bindings for inotify.

ocaml-radare2

OCaml interface to radare2, use r2 from within OCaml, much more fun

ocaml.org

Implementation of the ocaml.org website.

ocamlbuild

OCamlbuild

ocamlverse

Documentation of everything relevant in the OCaml world

owl

Owl - OCaml Scientific Computing @ http://ocaml.xyz

piqi

Piqi – universal schema language: JSON, XML, Protocol Buffers data validation and conversion

piqi-ocaml

Protocol Buffers, JSON, XML data serialization system for OCaml

setup-ocaml

GitHub Action for the OCaml programming language

termtosvg

Record terminal sessions as SVG animations

utop

Universal toplevel for OCaml

watchdog

Python library and shell utilities to monitor filesystem events.

z3

The Z3 Theorem Prover