Loading...
Loading...
Systems software toucher. Functional programming enjoyer. Alleged math nerd. Fascinated by compilers and proof assistants.
Avg 10.7 stars per repo.
Coding for 10 years.
276 followers.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
IssueCommentEvent on rust-lang/rust
February 3rd, 2026 12:18 AM
IssueCommentEvent on FranBarInstance/neutralts
February 2nd, 2026 8:13 PM
IssueCommentEvent on rust-lang/rust
February 2nd, 2026 4:44 AM
opened pull request in rust-lang/crater
February 2nd, 2026 2:28 AM
Created branch skip-tests in meithecatte/crater
February 2nd, 2026 2:19 AM
Forked rust-lang/crater
February 2nd, 2026 2:18 AM
opened issue in FranBarInstance/neutralts
February 2nd, 2026 1:38 AM
IssueCommentEvent on rust-lang/miri
February 1st, 2026 10:32 PM
opened pull request in rust-lang/reference
January 30th, 2026 3:54 PM
Created branch static-generics in meithecatte/reference
January 30th, 2026 3:53 PM