An OCaml implementation of microGPT.

OCaml library to interact with HotCRP.

Online application to record student's screens during exams.

😱 Falsehoods Programmers Believe in

Some tools for making Agda videos with syntax highlighting

Polygraphs in Agda.

Website for liquidshop, the first Liquidsoap workshop!

A digital archive of category theory papers.

Dependent variant of OCaml

List of papers studying machine learning through the lens of category theory

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

An experimental library for Cubical Agda

Find multiple files with the same contents.

Preprocess LaTeX files.

Simple grading system using regular expressions.

A type theory for unbiased cartesian closed categories.

The collected works of F. W. Lawvere

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

OCaml library to use the DBLP bibliographic database API.

Example of using liquidsoap to build a AI radio

Automatic backpropagation in OCaml.

The agda-unimath library

Find pairs of similar files according to Levenshtein distance.

A left adjointness assistant library

The Agda standard library

OCaml bindings to the lilv library for using LV2 plugins.

Modeling guitar amplifiers using machine learning.

A Coq library for Homotopy Type Theory