Repository Index

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

• static-analysis
• static-code-analysis
• code-quality
• java

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

• ocaml
• javascript
• reasonml
• reason

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

• compiler
• javascript
• altjs
• rescript

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.

• proof-assistant
• coq
• theorem-proving
• dependent-types

Unison file synchronizer

MirageOS is a library operating system that constructs unikernels

• mirageos
• unikernel
• xen
• kvm

Binary Analysis Platform

• binary-analysis
• reverse-engineering
• program-analysis
• static-analysis

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

• ocaml
• git
• storage
• mirageos

A composable build system for OCaml.

• build
• ocaml
• opam
• dune

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

• ida-plugin
• taint-analysis
• reverse-engineering
• disassembly

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.

• liquidsoap
• streaming
• webradio

Context sensitive completion for OCaml in Vim and Emacs

• ocaml
• emacs
• vim
• atom

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

• matrix
• linear-algebra
• ndarray
• statistical-functions

Jane Street Capital's standard library overlay

Terraform without the state file bottleneck

• automation
• cloud-management
• devops
• github-actions

Standard library for OCaml

Universal toplevel for OCaml

OCaml Language Server Protocol implementation

Sinatra like web toolkit for OCaml

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

• ocaml
• http
• http-client
• lwt

Effects-based direct-style IO for multicore OCaml

• concurrency
• effects
• io
• multicore

Auto-formatter for OCaml code

• ocaml

Parser combinators built for speed and memory efficiency

• ocaml
• parser-combinators
• parsing

GraphQL servers in OCaml

• ocaml
• graphql