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

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

Performant type-checking for python.

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

FUSE filesystem over Google Drive

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Unison file synchronizer

MirageOS is a library operating system that constructs unikernels

🔎 Static code analysis engine to find security issues in code.

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

A composable build system for OCaml.

Tidy, feature-complete Web framework

Implementations of various type systems in OCaml.

Programming Languages Zoo

Systems language with linear types and capability-based security.

V2 of Real World OCaml

A statically-typed, functional typesetting system

Compiler from OCaml to Javascript.

Universal toplevel for OCaml

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

A functional programming language based on algebraic effect handlers

OCaml Language Server Protocol implementation

OCaml promises and concurrent I/O

An OCaml library for HTTP clients and servers using Lwt or Async

Auto-formatter for OCaml code

Bolt is a language with in-built data-race freedom!

moved from https://sourceforge.net/p/min-caml/code/

Type-driven code generation for OCaml