Repository Index

magic-trace collects and displays high-resolution traces of what a process is doing

• intel
• x86
• visualizer
• tracing

MirageOS is a library operating system that constructs unikernels

• mirageos
• unikernel
• xen
• kvm

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

A high performance, memory efficient, and scalable web server written in OCaml

• ocaml
• http

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

• ocaml
• stdlib
• data-structure
• portable

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

QuickCheck inspired property-based testing for OCaml.

• ocaml
• quickcheck
• random
• testing

Cooperative-threaded access to relational data

• ocaml
• database
• io-monad
• mariadb

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

• ocaml
• dfa
• regular-expression

drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.

Syntax extension for writing SQL in OCaml

• sql
• ocaml
• reasonml

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

Object Relational Mapper extension

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

• ocaml
• pcre
• pattern-matching
• string-matching

Runtime types for OCaml (beta version)

Unicode character properties for OCaml

OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.

• validation

OCaml library for forking child processes to perform work on multiple cores

The dumb OCaml key-value store

• ocaml-library
• nosql
• persistent-storage
• hash-table