math-fehr
PhD student at the University of Edinburgh. Currently visiting at the University of Cambridge.
University of EdinburghEdinburgh, UK
Pinned Repositories
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
advent-of-rust-23
Bubbles
Bubbles ? Bubbles !
fast-wfc
An implementation of Wave Function Collapse with a focus on performance.
fast-wfc-rs
An implementation of Wave Function Collapse with a focus on performance, in Rust.
lucy-mlir
An implementation of Lustre-like language in MLIR
PresburgerAI-Coq
Formal proof of a presburger abstract domain on a SSA language
reddit_reposts
WindOS
Experimental Raspberry Pi OS
xdsl
A Python Compiler Design Toolkit
math-fehr's Repositories
math-fehr/fast-wfc
An implementation of Wave Function Collapse with a focus on performance.
math-fehr/Bubbles
Bubbles ? Bubbles !
math-fehr/lucy-mlir
An implementation of Lustre-like language in MLIR
math-fehr/reddit_reposts
math-fehr/WindOS
Experimental Raspberry Pi OS
math-fehr/PresburgerAI-Coq
Formal proof of a presburger abstract domain on a SSA language
math-fehr/fast-wfc-rs
An implementation of Wave Function Collapse with a focus on performance, in Rust.
math-fehr/advent-of-rust-23
math-fehr/lucyrs
A compiler for a small synchronous language
math-fehr/Untitled-Language
math-fehr/mlir-standalone-template
An out-of-tree MLIR dialect template.
math-fehr/paper-template
A template for writing CS papers with latex -- includes CI, todonotes, ...
math-fehr/PresburgerAI
math-fehr/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.