A static analyzer for Java, C, C++, and Objective-C

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

The core OCaml system: compilers, runtime system, base libraries

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

Pack JS code fast & easy

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

Tidy, feature-complete Web framework

V2 of Real World OCaml

Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.

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

Standard library for OCaml

A mixture of tooling combined to produce JavaScript from OCaml & Reason

Hardcaml is an OCaml library for designing hardware.

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

Sinatra like web toolkit for OCaml

Multicore OCaml

Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

A language server for reason, in reason

A library for building dynamic webapps, using Js_of_ocaml

Faster, simpler and more portable implementation of `jq` in OCaml

✨Cross-platform set of tools for building native UIs with Reason/OCaml

the core 0install package

HTML 5 canvas implementation of Mario written in Ocaml

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

A lightweight and colourful test framework

a little game

Examples to illustrate the use of algebraic effects in Multicore OCaml

A fun little TUI framework for OCaml

QuickCheck inspired property-based testing for OCaml.

Visual Studio Code extension for OCaml