Fehr Mathieu (@math-fehr)
github

math-fehr

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    434
  • Global Rank 65,411 (Top 3 %)
  • Followers 69
  • Following 31
  • Registered over 8 years ago
  • Most used languages
    Rust
         36.4 %
    Coq     18.2 %
    C
         18.2 %
    C++
         18.2 %
    Haskell
         9.1 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 3,281
  • Country Ranking
    Coq     19
    C++
         169
    Haskell
         482
    Rust
         656
    C
         1,509

Top repositories

1

fast-wfc

An implementation of Wave Function Collapse with a focus on performance.
C++
397
star
2

Bubbles

Bubbles ? Bubbles !
C
6
star
3

lucy-mlir

An implementation of Lustre-like language in MLIR
C++
6
star
4

WindOS

Experimental Raspberry Pi OS
C
5
star
5

reddit_reposts

Rust
5
star
6

PresburgerAI-Coq

Formal proof of a presburger abstract domain on a SSA language
Coq
4
star
7

fast-wfc-rs

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

Untitled-Language

Haskell
2
star
9

lucyrs

A compiler for a small synchronous language
Rust
2
star
10

advent-of-rust-23

Rust
2
star
11

PresburgerAI

Coq
1
star