Pinned
3,710 contributions in the last year
Less
More
Contribution activity
May 2021
Created 23 commits in 13 repositories
Created 1 repository
- jedisct1/iacr-events-scraper Python
Created a pull request in mit-plv/fiat-crypto that received 6 comments
Zig Fiat-Crypto-generated code is now continuously tested
The first bits of Fiat-generated code have landed into the Zig standard library. The code is now continuously tested on all supported platforms.
+1
−1
•
6
comments
Opened 5 other pull requests in 3 repositories
ziglang/zig
2
merged
1
open
koraa/iacr-events-scraper
1
merged
mit-plv/fiat-crypto
1
merged
Reviewed 1 pull request in 1 repository
ziglang/zig 1 pull request
6
contributions
in private repositories
May 2