Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻❄️
ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
Updated 6/6/2025
falso
A proof of false in Coq.
CoqUpdated 6/5/2025
redux-ship
Side effects with snapshots for Redux.
JavaScriptUpdated 3/20/2025
cybele
A Coq plugin for simpler proofs by reflection or OCaml certificates.
CoqUpdated 1/20/2025
awesome-noir
A curated list of awesome things related to learning and programming in Noir.
Updated 12/10/2024