perfect programming language

A free and open vulnerabilities database and the packages they impact. And the tools to aggregate and correlate these vulnerabilities. Sponsored by NLnet https://nlnet.nl/project/vulnerabilitydatab…

Translation of git manpages

Tool to help with email-based patch workflows

KiCad automation utility

pyMCR: Multivariate Curve Resolution for Python

GitGitGadget's Git fork. Open Pull Requests here to submit them to the Git mailing list

Js_of_ocaml bindings for MithrilJS

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

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filte…

A little fail-safe filesystem designed for microcontrollers

js_of_ocaml bindings for ReactJS. Based on ReasonReact.

Multicore OCaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

mdstat parser for Python

OCaml library for forking off cpu-intensive processes.

Patoline typesetting system

📘 Asciidoctor EPUB3 is a set of Asciidoctor extensions for converting AsciiDoc to EPUB3

Concurrent Programming with Effect Handlers

OCaml for web programming

Software Update for Embedded Systems

(mirror) OCaml bindings to Qt toolkit.

Simple template for midsize OCaml project

Free monospaced font with programming ligatures

Scripts to install automatic applications under Ubuntu

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

Strongly typed multidimensional array library for OCaml

Code for Computer Science Club presentation on performance tuning matrix arithmetic in OCaml