Guillaume Claret
Security researcher at @formal-land š² for Web3 applications Applying the š proof system to find all the vulnerabilities. š»āāļø
Pull Requests
1,051
Code Reviews
304
Top Repositories
# | Repository | Stars | Forks | Issues | Contributors |
---|---|---|---|---|---|
1 | clarus/coq-chick-blog | 179 | 9 | 1 | -1 |
2 | clarus/coq-blog | 10 | 1 | 1 | -1 |
3 | clarus/coq-cunit | 4 | 1 | 0 | -1 |
4 | clarus/coq-atm | 3 | 0 | 0 | -1 |
5 | clarus/coq-clojure-extraction | 1 | 0 | 0 | -1 |
6 | clarus/coq-clarus-clojure-test | 1 | 0 | 0 | -1 |
7 | clarus/coq-configure | 0 | 0 | 0 | -1 |
8 | clarus/coq-breakable-computations | 0 | 0 | 0 | -1 |
9 | clarus/coq | 0 | 0 | 0 | -1 |
10 | clarus/contribs | 0 | 0 | 0 | -1 |
Activity Feed (Latest 20)
pushed to gh-pages in formal-land/formal.land
pushed to gh-pages in formal-land/formal.land
pushed to main in formal-land/formal.land
pushed to gh-pages in formal-land/formal.land
pushed to gh-pages in formal-land/formal.land
commented on pull request formal-land/garden#51
reviewed a pull request in formal-land/garden
commented on pull request formal-land/garden#51
reviewed a pull request in formal-land/garden
pushed to guillaume-claret@add-llzk in formal-land/garden
pushed to guillaume-claret@first-rocq-output in formal-land/llzk-lib
pushed to guillaume-claret@add-llzk in formal-land/garden
pushed to guillaume-claret@first-rocq-output in formal-land/llzk-lib
pushed to guillaume-claret@add-llzk in formal-land/garden
Description of `WatchEvent` isn't defined
pushed to guillaume-claret@add-llzk in formal-land/garden
pushed to guillaume-claret@first-rocq-output in formal-land/llzk-lib
pushed to guillaume-claret@add-llzk in formal-land/garden
commented on pull request formal-land/garden#51
commented on pull request formal-land/garden#51