Samuel Mimram (@smimram)
github

smimram

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    263
  • Global Rank 99,090 (Top 4 %)
  • Followers 96
  • Following 118
  • Registered over 12 years ago
  • Most used languages
    OCaml
         71.4 %
    Agda     14.3 %
    C
         5.7 %
    Python
         2.9 %
    JavaScript
         2.9 %
    HTML
         2.9 %

Top repositories

1

funk

Functional kernel written in OCaml.
OCaml
32
star
2

monadic-synth

A monadic library for creating synthesizers in OCaml.
OCaml
31
star
3

ocaml-pandoc

An OCaml library for creating pandoc filters.
OCaml
29
star
4

strid

A string diagram generator for LaTeX.
OCaml
26
star
5

ocaml-alg

Algebraic structures in OCaml.
OCaml
17
star
6

catt

An infinity-categorical coherence typechecker
OCaml
15
star
7

satex

String diagrams in LaTeX.
OCaml
13
star
8

snippetor

Extract snippets from code specified by comments.
OCaml
11
star
9

ocaml-glpk

OCaml bindings for glpk
C
10
star
10

learning-effect

Modeling guitar amplifiers using machine learning.
OCaml
9
star
11

Mini-TT

A simple type-theoretic language in OCaml: Mini-TT
OCaml
8
star
12

mlsub

My own implementation of MLsub.
OCaml
8
star
13

fibred-polynomials

Formalizing polynomials in groupoids.
Agda
7
star
14

saml

A compiler for sound generators and processors.
OCaml
7
star
15

sparkling

Perform verification of concurrent programs using syntactic regions.
OCaml
5
star
16

ocaml-nn

Neural networks in OCaml.
OCaml
4
star
17

homer

Homotopy and rewriting
OCaml
3
star
18

hyper

Hypergraph rewriting for PROPs
OCaml
3
star
19

my-HoTT-Agda

Agda developments in homotopy type theory
Agda
2
star
20

agda100

Formalizing 100 theorems in Agda
Agda
2
star
21

polyr

Polygraphic rewriting
OCaml
2
star
22

ocaml-dblp

OCaml library to use the DBLP bibliographic database API.
OCaml
2
star
23

ocaml-irc

IRC client for OCaml
OCaml
2
star
24

bgsubtract0r

Frei0r plugin to perform background subtraction on a still video.
C
2
star
25

levenfind

Find pairs of similar files according to Levenshtein distance.
OCaml
2
star
26

ocaml-elaboration-zoo

Minimal implementations for dependent type checking and elaboration, in OCaml.
OCaml
2
star
27

div2

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

ocaml-backprop

Automatic backpropagation in OCaml.
OCaml
2
star
29

videocast

Broadcast video from browser to Liquidsoap.
JavaScript
1
star
30

lemonde-notify

Notifications Gnome pour le flux live du Monde.
Python
1
star
31

collage

Make photo collages (to print photobooks).
OCaml
1
star
32

smimram.github.com

Webpage.
HTML
1
star
33

agda-polygraphs

Polygraphs in Agda.
Agda
1
star
34

methml

An ML language with methods.
OCaml
1
star
35

proof-assistant-project

Template for the proof assistant project CSC_51051_EP.
OCaml
1
star