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.
Language:LLVM28.3k 582 76.6k11.7k
advent-of-rust-23
Language:Rust20
Bubbles
Bubbles ? Bubbles !
Language:C6 2 00
fast-wfc
An implementation of Wave Function Collapse with a focus on performance.
Language:C++397 15 939
fast-wfc-rs
An implementation of Wave Function Collapse with a focus on performance, in Rust.
Language:Rust3 1 00
lucy-mlir
An implementation of Lustre-like language in MLIR
Language:C++6 3 00
PresburgerAI-Coq
Formal proof of a presburger abstract domain on a SSA language
Language:Coq4 2 02
reddit_reposts
Language:Rust5 1 00
WindOS
Experimental Raspberry Pi OS
Language:C5 3 00
xdsl
A Python Compiler Design Toolkit
Language:Python255 19 42869

math-fehr's Repositories

math-fehr/fast-wfc
An implementation of Wave Function Collapse with a focus on performance.
Language:C++397 15 939
math-fehr/Bubbles
Bubbles ? Bubbles !
Language:C6 2 00
math-fehr/lucy-mlir
An implementation of Lustre-like language in MLIR
Language:C++6 3 00
math-fehr/reddit_reposts
Language:Rust5 1 00
math-fehr/WindOS
Experimental Raspberry Pi OS
Language:C5 3 00
math-fehr/PresburgerAI-Coq
Formal proof of a presburger abstract domain on a SSA language
Language:Coq4 2 02
math-fehr/fast-wfc-rs
An implementation of Wave Function Collapse with a focus on performance, in Rust.
Language:Rust3 1 00
math-fehr/advent-of-rust-23
Language:Rust20
math-fehr/lucyrs
A compiler for a small synchronous language
Language:Rust2 1 01
math-fehr/Untitled-Language
Language:Haskell2 4 0
math-fehr/paper-template
A template for writing CS papers with latex -- includes CI, todonotes, ...
Language:TeX1 1 0
math-fehr/PresburgerAI
Language:Coq1 2 0
math-fehr/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.