Pull Requests
40
Code Reviews
7
Top Repositories
#
Repository
Stars
Forks
Issues (open)
Contributors
Activity Feed (latest 9)
opened a pull request in cryspen/hax
Jul 2, 2025, 12:45 AM
deleted branch patch-1 at Coda-Coda/hax
Jul 2, 2025, 12:43 AM
created a branch fix-typo in Coda-Coda/hax
Jul 2, 2025, 12:43 AM
pushed to patch-1 in Coda-Coda/hax
Jul 2, 2025, 12:39 AM
Description of `ForkEvent` isn't defined
Jul 2, 2025, 12:36 AM
opened a pull request in NethermindEth/Clear
Jun 23, 2025, 2:56 AM
created a branch update-haskell in NethermindEth/Clear
Jun 23, 2025, 2:54 AM
reviewed a pull request in NixOS/nixpkgs
Jun 19, 2025, 10:24 AM
pushed to master in Coda-Coda/nixpkgs
Jun 19, 2025, 8:10 AM