Cambridge, UK

Mathieu Fehr

Elite
@math-fehr

PostDoc at the University of Cambridge. Working on compilers and formal verification.

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

435

Bubbles. Bubbles ? Bubbles !

6

lucy-mlir. An implementation of Lustre-like language in MLIR

6

WindOS. Experimental Raspberry Pi OS

6

reddit_reposts. Rust

5

fast-wfc-rs. An implementation of Wave Function Collapse with a focus on performance, in Rust.

4

PresburgerAI-Coq. Formal proof of a presburger abstract domain on a SSA language

4

lucyrs. A compiler for a small synchronous language

2

advent-of-rust-23. Rust

2

Untitled-Language. Haskell

2

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

1

mlir-standalone-template. An out-of-tree MLIR dialect template.

1

PresburgerAI. Coq

1
13
Apply