O

ocaml

Multi-language research playground for reproducible optimization experiments, Dockerized language workspaces, and cross-paradigm workflow comparisons.

Organ-to-MIDI controller, works on a Viscount Domus 830 + Raspberry Pi

CI/CD components for the OCaml language.

https://ocaml.org

Verification engine for AI-assisted software changes

SmartPy

Smart Contracts on Tezos

A comprehensive solution for developing, testing, and deploying smart contracts on the Tezos blockchain. All in familiar Python syntax.

A test framework for OCaml, suited for writing and executing unit, integration and regression tests and focusing on user experience.

Midi Sequencer Using Jack

Generic Unspecific Algorithmic in OCaml

Free as in freedom Digital Referencing tool for Artists.

Dépots de mes cours de Double Licence à l'USPN.

libCUDF is a reference implementation of CUDF (Common Upgradeability Description Format), a document format to describe package upgrade scenarios, in a package manager agnostic way.

Software project for the Software verification course (UNIPD). It implements an abstract interpreter for a (toy) imperative language

GitLab CI Inspector, or gci for short, is a tool for working with GitLab CI configuration files , e.g. .gitlab-ci.yml. It can be used to lint CI configurations (using GitLab's api), to merge multi-file CI configurations into single YAML files, to debug template extension and comparing configurations (and much more!).

Chancereul Arthur et Abi Ayad Mounir

Proper modulo operators for OCaml

an implementation of the 2048 game in ocaml

odoc: https://ml2048-midorishibukawa-775a02669f053cf7bd8103c56ab79c5a39b9255a.gitlab.io/

this is where most of my programming-related ramblings live. https://devlog.midori.shibukawa.io/