rlepigre

ocaml-bindlib

Efficient binder representation in OCaml

ocaml-imagelib

The imagelib library implements image formats such as PNG or PPM

subml

SubML (prototype) language

pml

New version of the PML language and (classical) proof assistant

ocaml-earley

Parsing library based on Earley Algorithm

bare-metal-aarch64

Fiddling with aarch64 exception levels on a Raspberry Pi 3.

ocaml-timed

Timed references for imperative state

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

cerberus

Cerberus C semantics

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-elpi

Coq plugin embedding elpi

Coq-Equations

A function definition package for Coq

coq-lean-import

coq-opam

Archive for all Coq related OPAM packages organized in various repositories

coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

coq-tactician

A Seamless, Interactive Tactic Learner and Prover for Coq

coq-waterproof

dune

A composable build system for OCaml.

elpi

Embeddable Lambda Prolog Interpreter

GameShell

"jeu" d'apprentissage du shell et des commandes standards

itauto

js-tt

Javascript Teaching Tools

lambdapi

Minimal implementation of the λΠ-calculus modulo

Mtac2

ocaml-bash-wrap

A trivial bash wrapper script

opam-ci

Docker image containing OPAM for CI builds

phd

My PhD manuscript

pzls

A javascript library for embedding handcrafted (variant) Sudoku puzzles in a web page.

rlepigre

Config files for my GitHub profile.

rlepigre.github.io

My webpage