Stars
A digital archive of category theory papers.
List of papers studying machine learning through the lens of category theory
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Template for the proof assistant project CSC_51051_EP.
A type theory for unbiased cartesian closed categories.
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…
smimram / ocaml-dblp < AFDE /h3>
OCaml library to use the DBLP bibliographic database API.
Find pairs of similar files according to Levenshtein distance.
OCaml bindings to the lilv library for using LV2 plugins.
Modeling guitar amplifiers using machine learning.
Radio France's liquidsoap configuration for resilient radio streaming with a self contained docker infrastructure
Insert Unicode math symbols in Emacs
Library to read metadata from files in various formats.
GitHub Action for the OCaml programming language