smimram/Mini-TT

Stars
8
Rank 2,099,232 (Top 42 %)
Language
OCaml
Created almost 5 years ago
Updated over 2 years ago

smimram/Mini-TT

smimram

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

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

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.

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.