Dead-code analyzer for OCaml

Subtitle provider plugin for local subtitle files on Jellyfin

A collection of Beancount plugins

Decorator for beancount importers, providing automatic categorization.

The Deadlock Empire: Slay dragons, learn concurrency!

Inconsolata LGC extension

Apple's macOS SDKs

Command-line sampling profiler for macOS, Linux, and Windows

RRDtool 1.x - Round Robin Database

QUICr parametric abstract domain for sets

A not-quite-so-simple Binary Decision Diagrams implementation for OCaml

Abstract domain library for sets

Code style checker for Jane Street Packages

A secret project to produce a Kwisatz Haderach, perfect OCaml code that would bridge time and space, through selective breeding and linting. But mostly linting.

OCaml linter

A fully-modular OCaml style linter

An OCaml library for manipulating Labeled Transition Systems

(Fitness) Exercises (.xml files and images), especially for the Android app Open Training.

Pympress is a simple yet powerful PDF reader designed for dual-screen presentations

Browse media content with your own rules on Android TV

POC for a web ui

Android App for planing your fitness training.

Empowering Fitness

A small library to output memory graph for ocaml values

Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation

Gaining advanced insights from Git repository history.

Analyze how a Git repo grows over time

Analyser is a static analyser which finds errors and undefinded behaviors in C programs with inline assembly.