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

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

Systems language with linear types and capability-based security.

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

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

OCaml Language Server Protocol implementation

An actor-model multi-core scheduler for OCaml 5 🐫

Effects-based direct-style IO for multicore OCaml

The TLA⁺ Proof Manager

Pure OCaml Wayland protocol implementation

An LSP proxy server to protect a master server from being shutdown