LaTeX facsimile of a Bible de Genève, 1564

Staged compilation with dependent types

(almost) Everything I know in math.

Wallcalendar LaTeX documentclass

This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.

Modèles de tests adaptatifs pour le diagnostic de connaissances dans un cadre d’apprentissage à grande échelle

Lean 4 port of Iris, a higher-order concurrent separation logic framework

This is a research project on beliefs regarding climate change and climate policies, in particular with respect to their distributive effects

This is a research project on beliefs regarding climate change and climate policies, in particular with respect to their distributive effects