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

Performant type-checking for python.

FUSE filesystem over Google Drive

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

Tidy, feature-complete Web framework

Systems language with linear types and capability-based security.

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

Universal toplevel for OCaml

Sinatra like web toolkit for OCaml

OCaml project generator.

A peer-to-peer file-transfer tool in OCaml