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

Owl - OCaml Scientific Computing @ https://ocaml.xyz

Systems language with linear types and capability-based security.

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

Effects-based direct-style IO for multicore OCaml

Static website generator based on HTML element tree rewriting

A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.

An Activitypub server in OCaml!