The HOL Light theorem prover

DMTCP: Distributed MultiThreaded CheckPointing

A multi-platform, Qt-based frontend for systemd's journalctl command. Accepting local as well as remote (SSH) data sources.

A simple cli for logs splitting

Canonical parsing tool for the official images library files

Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

Typed Regular Expressions

Interoperable effects based concurrency

Effects-based direct-style IO for multicore OCaml

Kohai is a very simple (but opinionated) timetracker for my personal usage

Use your Mac trackpad as a weighing scale

Stack trace visualizer

git commit --fixup, but automatic

Java API For Flickr. Fork of FlickrJ

A Stack Overflow clone for teams (self-hosted or hosted)

IP Geolocation API is a free service for locating your visitors in real-time with detailed country information.

ls Xtended : A command line utility that lets you navigate through terminal like a pro 😎.

Maintainable configuration files

An OCaml modular and generalised parser combinator library.

Run programs on linux with selectively restricted permissions.

Unified ingress for developers

expose yourself

OCaml zlib bindings

🐶 Automated code review tool integrated with any code analysis tools regardless of programming language

Formally verified Coq serialization library with support for extraction to OCaml

An Emacs shell-mode (and comint-mode) extension that enables displaying small plots and graphics and lets users write shell commands in Emacs Lisp.

Docker entrypoint script to run containers as an unprivileged user with UID and GID set to be compatible with the host machine

Exercism exercises in OCaml.