Search credible GitHub repositories.

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

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

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

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

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

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 environment for semi-interactive development of machine-checked proofs.

Unison file synchronizer

A language that compiles to Bash and Windows Batch

MirageOS is a library operating system that constructs unikernels

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

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

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

Programming language for literate programming law specification

Pack JS code fast & easy

Binary Analysis Platform

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

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

A composable build system for OCaml.

Tidy, feature-complete Web framework

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

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.

Context sensitive completion for OCaml in Vim and Emacs

Implementations of various type systems in OCaml.

Programming Languages Zoo

Systems language with linear types and capability-based security.

A library for incremental computations

A library for building dynamic webapps, using Js_of_ocaml

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