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

Irmin is a distributed database that follows the same design principles as Git

• ocaml
• git
• storage
• mirageos

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

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

• liquidsoap
• streaming
• webradio

Jane Street Capital's standard library overlay

Terraform without the state file bottleneck

• automation
• cloud-management
• devops
• github-actions

Standard library for OCaml

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

A library for building dynamic webapps, using Js_of_ocaml.

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

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

• ocaml
• dfa
• regular-expression

Jane Street's standard library overlay (kernel)

Automated S-expression conversion

Cram like framework for OCaml

SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)

• spoc
• ocaml
• opencl
• cuda

Error-recovering streaming HTML5 and XML parsers

• html
• html5
• xml
• streaming

Binding to Cairo, a 2D Vector Graphics Library.

• cairo
• ocaml
• stroke
• drawing

Micro-benchmarking library for OCaml

Data structures and algorithms in OCaml

• ocaml
• data-structures
• algorithms

Parallelize _anything_ //

• ocaml-library
• parallel-computing
• stream-processing
• multi-processing

OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.

• ocaml
• oidc
• oidc-client

Type-safe library for building parallel applications, built on top of Async's Rpc module.