math-fehr

Fehr Mathieu's repositories

An implementation of Wave Function Collapse with a focus on performance.

Language:C++NOASSERTION394 15 9

Bubbles ? Bubbles !

Language:C6 20

An implementation of Lustre-like language in MLIR

Language:C++6 30

Language:RustMIT5 10

Experimental Raspberry Pi OS

Language:C5 30

Formal proof of a presburger abstract domain on a SSA language

Language:Coq4 20

An implementation of Wave Function Collapse with a focus on performance, in Rust.

Language:Rust3 10

Language:Rust200

A compiler for a small synchronous language

Language:Rust2 10

Language:HaskellMIT2 40

A template for writing CS papers with latex -- includes CI, todonotes, ...

100

Language:Coq1 20