Repository Index

MirageOS is a library operating system that constructs unikernels

• mirageos
• unikernel
• xen
• kvm

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

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

• matrix
• linear-algebra
• ndarray
• statistical-functions

Jane Street Capital's standard library overlay

Standard library for OCaml

An OCaml library for HTTP clients and servers using Lwt or Async

• ocaml
• http
• http-client
• lwt

Parser combinators built for speed and memory efficiency

• ocaml
• parser-combinators
• parsing

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

• ocaml
• stdlib
• data-structure
• portable

OCaml bindings for PyTorch

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

Library for binding to C libraries using pure OCaml

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

• genealogy
• software
• web
• database

A library for building dynamic webapps, using Js_of_ocaml.

Low-level JSON parsing and pretty-printing library for OCaml

• json
• ocaml
• yojson
• parser

Cooperative-threaded access to relational data

• ocaml
• database
• io-monad
• mariadb

Declarative definition of command line interfaces for OCaml

Tutorial on Multicore OCaml parallel programming with domainslib

• ocaml
• multicore

OCaml bindings for TensorFlow

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

• ocaml
• dfa
• regular-expression

OCaml graph library

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

• coq
• hammer
• automation
• proof-search

OCaml debug adapter

• debugger
• debug-adapter-protocol
• ocaml

Terminal manipulation library for OCaml

• ocaml

OCaml library for reading, writing and modifying PDF files