Loading...
Loading...
Security researcher at @formal-land π² for Web3 applications Applying the π proof system to find all the vulnerabilities. π»ββοΈ
25 day streak.
Coding for 16 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Starred nasa/CryptoLib
February 4th, 2026 5:26 PM
opened pull request in formal-land/rocq-of-rust
February 4th, 2026 12:09 PM
Pushed to main at formal-land/rocq-of-rust
February 4th, 2026 10:18 AM
opened pull request in formal-land/rocq-of-rust
February 4th, 2026 9:23 AM
DeleteEvent on formal-land/rocq-of-rust
February 4th, 2026 9:20 AM
merged pull request in formal-land/rocq-of-rust
February 4th, 2026 9:20 AM
Pushed to main at formal-land/rocq-of-rust
February 4th, 2026 9:20 AM
Starred strapi/strapi
February 3rd, 2026 6:25 PM
Starred stalniy/casl
February 3rd, 2026 6:21 PM
Pushed to guillaume-claret@revm-continue-bitwise-simulate at formal-land/rocq-of-rust
February 3rd, 2026 1:31 PM