Fehr Mathieu's repositories
PresburgerAI-Coq
Formal proof of a presburger abstract domain on a SSA language
fast-wfc-rs
An implementation of Wave Function Collapse with a focus on performance, in Rust.
paper-template
A template for writing CS papers with latex -- includes CI, todonotes, ...
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
NOASSERTION000