Samuel Mimram

icon indicating a website link http://mimram.fr/

Results 6 repositories owned by Samuel Mimram

funk

32
Stars
1
Forks
Watchers

Functional kernel written in OCaml.

verified publisher icon smimram

monadic-synth

30
Stars
2
Forks
Watchers

A monadic library for creating synthesizers in OCaml.

verified publisher icon smimram

ocaml-pandoc

29
Stars
3
Forks
Watchers

An OCaml library for creating pandoc filters.

verified publisher icon smimram

strid

26
Stars
0
Forks
Watchers

A string diagram generator for LaTeX.

verified publisher icon smimram

ocaml-alg

15
Stars
3
Forks
Watchers

Algebraic structures in OCaml.

verified publisher icon smimram

catt

15
Stars
0
Forks
Watchers

An infinity-categorical coherence typechecker

verified publisher icon smimram