obazl-repository Goto Github PK

alcotest

A lightweight and colourful test framework

angstrom

Parser combinators built for speed and memory efficiency

async

Jane Street Capital's asynchronous execution library

async-uri

Open connections from URLs with Async

async_kernel

Jane Street Capital's asynchronous execution library (core)

async_ssl

Async wrappers for ssl

autoxconf

bap

Binary Analysis Platform

bin_prot

Binary protocol generator

binsec

BINSEC binary-level open-source platform

bisect_ppx

Code coverage for OCaml and ReScript

bonsai

A library for building dynamic webapps, using Js_of_ocaml

bos

Basic OS interaction for OCaml

cmdliner

Declarative definition of command line interfaces for OCaml

codept

Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

core_bench

Micro-benchmarking library for OCaml

cppo

C-style preprocessor for OCaml

fpath

File paths for OCaml

jingoo

OCaml template engine almost compatible with jinja2

js_of_ocaml

Compiler from OCaml to Javascript.

landmarks

A Simple Profiling Library for OCaml

lwt

OCaml promises and concurrent I/O

mdx

Execute code blocks inside your documentation

mina

Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

mtime

Monotonic wall-clock time for OCaml

mustache

Mustache templating using C implementation mustach

ocaml-csv

CSV library for OCaml

ocaml-ctypes

Library for binding to C libraries using pure OCaml

ocaml-decimal

Arbitrary-precision floating-point decimals