Search awesome repositories

Visual Studio Code

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

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

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

Native, lightweight modal code editor

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.

A very fast SIMD-first image comparison library (with nodejs API)

MirageOS is a library operating system that constructs unikernels

Binary Analysis Platform

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

A composable build system for OCaml.

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

cwe_checker finds vulnerable patterns in binary executables

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

Jane Street Capital's standard library overlay

Standard library for OCaml

Universal toplevel for OCaml

OCaml Language Server Protocol implementation

package.json workflow for native development with Reason/OCaml

Sinatra like web toolkit for OCaml

An OCaml library for HTTP clients and servers using Lwt or Async

library and tools for accessing and modifying virtual machine disk images.

Effects-based direct-style IO for multicore OCaml

Auto-formatter for OCaml code

Parser combinators built for speed and memory efficiency

🏞 an OCaml compiler for an untyped lisp

A high performance, memory efficient, and scalable web server written in OCaml

Batteries Included project