Latex code for making neural networks diagrams

Bootstrap yourself to write an OS from scratch. A book for self-learner.

Examples of how to create colorful, annotated equations in Latex using Tikz.

A free book: "The Science of Functional Programming"

MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"

An open-source, customizable intermediate logic textbook

BNF Converter

Make your own quadrille, graph, hex, etc paper! Uses the pgf/TikZ package for LaTeX, which should be part of any modern TeX installation.

The F# Software Foundation website

HoTTEST Summer School materials

Unix system programming in OCaml book

Make Project Oberon Pretty Again

OCaml Documentations as one-pagers, easy to keep useful commands in mind

A party card game for engineers caring about reliability. Based on Cards Against Humanity.

Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"

Guide for DCS F-16 Block 50 aircraft including LaTeX source files

Some papers on "Lambda Calculus"

Simplex algorithm course @Epita

Balancing lists: a proof pearl

My master thesis on RML : In French.

Cours de Mécanique du Solide Indéformable

Un mini-livre open-source pour mieux comprendre les nombres flottants