Beast code in Giters

Samuel Mimram's repositories

monadic-synth

A monadic library for creating synthesizers in OCaml.

Language:OCamlLGPL-2.131 40

ocaml-pandoc

An OCaml library for creating pandoc filters.

Language:OCamlLGPL-2.129 30

strid

A string diagram generator for LaTeX.

Language:OCamlGPL-2.026 3 2

ocaml-alg

Algebraic structures in OCaml.

Language:OCaml17 40

catt

An infinity-categorical coherence typechecker

Language:OCaml15 40

satex

String diagrams in LaTeX.

Language:OCamlGPL-3.013 3 2

snippetor

Extract snippets from code specified by comments.

Language:OCaml11 30

ocaml-glpk

OCaml bindings for glpk

Language:CGPL-2.010 4 5

learning-effect

Modeling guitar amplifiers using machine learning.

Language:OCamlGPL-3.09 30

Mini-TT

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

Language:OCaml8 30

mlsub

My own implementation of MLsub.

Language:OCaml8 40

fibred-polynomials

Formalizing polynomials in groupoids.

Language:Agda7 50

saml

A compiler for sound generators and processors.

Language:OCaml7 50

sparkling

Perform verification of concurrent programs using syntactic regions.

Language:OCaml5 40

ocaml-nn

Neural networks in OCaml.

Language:OCamlLGPL-2.1400

homer

Homotopy and rewriting

Language:OCaml3 30

div2

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

Language:Agda2 30

levenfind

Find pairs of similar files according to Levenshtein distance.

Language:OCamlGPL-3.02 30

ocaml-backprop

Automatic backpropagation in OCaml.

Language:OCamlGPL-3.02 20

ocaml-elaboration-zoo

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

Language:OCaml200

agda-polygraphs

Polygraphs in Agda.

Language:Agda1 20

cubical

An experimental library for Cubical Agda

Language:AgdaMIT1 10

methml

An ML language with methods.

Language:OCaml1 20

ocaml-irc-client

OCaml IRC client library

Language:OCamlMIT1 20

opam-repository

Package descriptions for OPAM

Language:ShellCC0-1.01 30

videocast

Broadcast video from browser to Liquidsoap.

Language:JavaScript1 40

bbb-render

Scripts to convert a BigBlueButton recording into a single video file

Language:PythonMIT020

gcat

A graphical proof assistant for categories.

Language:OCaml020

generated-deloopings-agda

Generated deloopings in Agda.

Language:AgdaMIT000

webcast.js

API and documentation for the webcast websocket protocol

Language:TypeScriptMIT000