Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

FUSE filesystem over Google Drive

Unison file synchronizer

A code rewrite tool for structural search and replace that supports ~every language.

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

Tidy, feature-complete Web framework

Context sensitive completion for OCaml in Vim and Emacs

Implementations of various type systems in OCaml.

Jane Street Capital's standard library overlay

🍬 a functional language for building type-safe, scalable, and maintainable applications

A library for incremental computations

Universal toplevel for OCaml

An engine for displaying slips, the next-gen version of slides

Sinatra like web toolkit for OCaml

Effects-based direct-style IO for multicore OCaml

Faster, simpler and more portable implementation of jq-inspired language in OCaml

GraphQL servers in OCaml

HTML 5 canvas implementation of Mario written in Ocaml

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

a little game

Static website generator based on HTML element tree rewriting

A library for building dynamic webapps, using Js_of_ocaml.

Pure OCaml Git format and protocol

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

TLS in pure OCaml

A PDF parser and validator

Tutorial on Multicore OCaml parallel programming with domainslib

Cross-platform asynchronous I/O and system calls

TUI multiline fuzzy document finder