smimram/collage

Stars
1
Language
OCaml
Created almost 8 years ago
Updated almost 3 years ago

smimram/collage

smimram

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Make photo collages (to print photobooks).

funk

Functional kernel written in OCaml.

monadic-synth

A monadic library for creating synthesizers in OCaml.

ocaml-pandoc

An OCaml library for creating pandoc filters.

strid

A string diagram generator for LaTeX.

ocaml-alg

Algebraic structures in OCaml.

catt

An infinity-categorical coherence typechecker

satex

String diagrams in LaTeX.

snippetor

Extract snippets from code specified by comments.

ocaml-glpk

OCaml bindings for glpk

learning-effect

Modeling guitar amplifiers using machine learning.

Mini-TT

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

mlsub

My own implementation of MLsub.

fibred-polynomials

Formalizing polynomials in groupoids.

saml

A compiler for sound generators and processors.

sparkling

Perform verification of concurrent programs using syntactic regions.

ocaml-nn

Neural networks in OCaml.

homer

Homotopy and rewriting

hyper

Hypergraph rewriting for PROPs

my-HoTT-Agda

Agda developments in homotopy type theory

agda100

Formalizing 100 theorems in Agda

polyr

Polygraphic rewriting

ocaml-dblp

OCaml library to use the DBLP bibliographic database API.

ocaml-irc

IRC client for OCaml

bgsubtract0r

Frei0r plugin to perform background subtraction on a still video.

levenfind

Find pairs of similar files according to Levenshtein distance.

ocaml-elaboration-zoo

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

div2

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

ocaml-backprop

Automatic backpropagation in OCaml.

videocast

Broadcast video from browser to Liquidsoap.

lemonde-notify

Notifications Gnome pour le flux live du Monde.

smimram.github.com

agda-polygraphs

Polygraphs in Agda.

methml

An ML language with methods.

proof-assistant-project

Template for the proof assistant project CSC_51051_EP.