Repository Index

Library for binding to C libraries using pure OCaml

Functional HTML scraping and rewriting with CSS in OCaml

• scraping
• html
• soup
• ocaml

QuickCheck inspired property-based testing for OCaml.

• ocaml
• quickcheck
• random
• testing

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

• genealogy
• software
• web
• database

C Intermediate Language

A library for building dynamic webapps, using Js_of_ocaml.

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

• json
• ocaml
• yojson
• parser

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

• ocaml
• wasm
• webassembly
• interpreter

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 library for reading, writing and modifying PDF files

The Frenetic Programming Language and Runtime System

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

Rocq plugin embedding Elpi

• coq
• metaprogramming
• extension-language
• lambda-prolog

Easy OCaml bindings for Javascript libraries

OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.

• diff
• snapshot-testing
• testing
• snapshot

A Yojson codec generator for OCaml.

• deriving
• json

Interfacing Qt/QML with OCaml. Formely known as lablqt

• ocaml
• qtquick
• qt
• gui

Syntax extension for writing SQL in OCaml

• sql
• ocaml
• reasonml

A compiler for the 🎃 Spooky 😱 programming language 👻

• halloween
• surprise
• fear
• programming-language

typed bidirectional router for OCaml/ReasonML web applications

• ocaml
• router
• http-router
• http-routing