Samuel Mimram

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

40

funk. Functional kernel written in OCaml.

37

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

33

strid. A string diagram generator for LaTeX.

32

ocaml-alg. Algebraic structures in OCaml.

28

satex. String diagrams in LaTeX.

20

catt. An infinity-categorical coherence typechecker

18

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

12

ocaml-glpk. OCaml bindings for glpk

11

learning-effect. Modeling guitar amplifiers using machine learning.

11

snippetor. Extract snippets from code specified by comments.

11

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

9

mlsub. My own implementation of MLsub.

9

fibred-polynomials. Formalizing polynomials in groupoids.

9

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

8

saml. A compiler for sound generators and processors.

7

cccatt. A type theory for unbiased cartesian closed categories.

7

sparkling. Perform verification of concurrent programs using syntactic regions.

6

decaml. Dependent variant of OCaml

6

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

6

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

4

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

4

ocaml-backprop. Automatic backpropagation in OCaml.

4

ocaml-nn. Neural networks in OCaml.

3

agda-polygraphs. Polygraphs in Agda.

3

homer. Homotopy and rewriting

3

regrade. Simple grading system using regular expressions.

3

hyper. Hypergraph rewriting for PROPs

3

polyr. Polygraphic rewriting

2

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

2

samefind. Find multiple files with the same contents.

2

ocaml-irc. IRC client for OCaml

2

latool. Preprocess LaTeX files.

2

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

2

agda100. Formalizing 100 theorems in Agda

2

collage. Make photo collages (to print photobooks).

1

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

1

gcat. A graphical proof assistant for categories.

1

opam-repository. Package descriptions for OPAM

1

videocast. Broadcast video from browser to Liquidsoap.

1

methml. An ML language with methods.

1

generated-deloopings-agda. Generated deloopings in Agda.

1