smimram/ocaml-alg

Stars
17
Rank 1,257,181 (Top 25 %)
Language
OCaml
Created over 7 years ago
Updated 3 months ago

smimram/ocaml-alg

smimram

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

Algebraic structures in OCaml.

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.

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.

collage

Make photo collages (to print photobooks).

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.