Clément Blaudeau
@clementblaudeauWorking at @cryspen on verifying Rust code via the hax toolchain, in Lean! Previously working on (and still interested by) OCaml modules
Language Breakdown
Lines of code distribution across 7 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Coq
Collaboration Network
Global Impact visualization
Repos
27
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Théophile BRÉZOT
@tbrezot
Andreas Rossberg
@rossberg
El Pin Al
@elpinal
Alexandre Moine
@nobrakal
Stéphane Graham-Lengrand
@disteph
Top Repositories
Coq formalization of the Celsius language
A Lean development of strictly positive functors (aka containers)
Analyze Rust crates without touching compiler internals
Emacs major mode for Lean 4
A verification toolchain for Rust programs
An MCP server for the fstar proof assistant
A Lean4 implementation of selective functors
Small Rust library for calculating greatest common divisor
Open Source Impact
Contributions to external projects
