Samuel Mimram

monadic-synth. A monadic library for creating synthesizers in OCaml.

funk. Functional kernel written in OCaml.

ocaml-pandoc. An OCaml library for creating pandoc filters.

strid. A string diagram generator for LaTeX.

ocaml-alg. Algebraic structures in OCaml.

satex. String diagrams in LaTeX.

catt. An infinity-categorical coherence typechecker

Mini-TT. A simple type-theoretic language in OCaml: Mini-TT

ocaml-glpk. OCaml bindings for glpk

learning-effect. Modeling guitar amplifiers using machine learning.

snippetor. Extract snippets from code specified by comments.

proof-assistant-project. Template for the proof assistant project CSC_51051_EP.

mlsub. My own implementation of MLsub.

fibred-polynomials. Formalizing polynomials in groupoids.

ocaml-elaboration-zoo. Minimal implementations for dependent type checking and elaboration, in OCaml.

saml. A compiler for sound generators and processors.

cccatt. A type theory for unbiased cartesian closed categories.

sparkling. Perform verification of concurrent programs using syntactic regions.

decaml. Dependent variant of OCaml

div2. An Agda formalization of "division by 2" in classical ZF without choice.

levenfind. Find pairs of similar files according to Levenshtein distance.

ocaml-dblp. OCaml library to use the DBLP bibliographic database API.

ocaml-backprop. Automatic backpropagation in OCaml.

ocaml-nn. Neural networks in OCaml.

agda-polygraphs. Polygraphs in Agda.

homer. Homotopy and rewriting

regrade. Simple grading system using regular expressions.

hyper. Hypergraph rewriting for PROPs

polyr. Polygraphic rewriting

bgsubtract0r. Frei0r plugin to perform background subtraction on a still video.

samefind. Find multiple files with the same contents.

ocaml-irc. IRC client for OCaml

latool. Preprocess LaTeX files.

my-HoTT-Agda. Agda developments in homotopy type theory

agda100. Formalizing 100 theorems in Agda

collage. Make photo collages (to print photobooks).

lemonde-notify. Notifications Gnome pour le flux live du Monde.

gcat. A graphical proof assistant for categories.

opam-repository. Package descriptions for OPAM

videocast. Broadcast video from browser to Liquidsoap.

methml. An ML language with methods.

generated-deloopings-agda. Generated deloopings in Agda.