Adds static typing to JavaScript to improve developer productivity and code quality.

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…

magic-trace collects and displays high-resolution traces of what a process is doing

Unison file synchronizer

A language that compiles to Bash and Windows Batch

MirageOS is a library operating system that constructs unikernels

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

Pack JS code fast & easy

Programming language for literate programming law specification

Binary Analysis Platform

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

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

Public quant internship repository, maintained by NUFT but available for everyone.

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

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

A composable build system for OCaml.

Tidy, feature-complete Web framework

Context sensitive completion for OCaml in Vim and Emacs

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

Implementations of various type systems in OCaml.

Programming Languages Zoo

Systems language with linear types and capability-based security.

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

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