Repository Index

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

Binary Analysis Platform

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

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

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

• ocaml
• http

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

• ocaml
• stdlib
• data-structure
• portable

SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)

• spoc
• ocaml
• opencl
• cuda

OCaml template engine almost compatible with jinja2

• ocaml
• jinja2
• template-engine

Famous 99 problems in OCaml

Extensible binary data format, like JSON but faster

The dumb OCaml key-value store

• ocaml-library
• nosql
• persistent-storage
• hash-table