Lists (6)
Stars
Home Assistant integration for Elering Estfeed metering data
Subtitle provider plugin for local subtitle files on Jellyfin
Decorator for beancount importers, providing automatic categorization.
The Deadlock Empire: Slay dragons, learn concurrency!
Inconsolata LGC extension
Command-line sampling profiler for macOS, Linux, and Windows
A not-quite-so-simple Binary Decision Diagrams implementation for OCaml
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.
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
Android App for planing your fitness training.
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.