Lists (4)
Stars
Command-line sampling profiler for macOS and Linux
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
SmartTube - an advanced player for set-top boxes and tvs running Android OS
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.
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.
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
🐶 Suggests any code changes based on diff through GitHub Multi-line code suggestions by using reviewdog
OCaml Library for the drawing of abstract elements (Polyhedra, Octagon, Boxes)
A simple state-machine framework for OCaml based on QCheck