Pull Requests
473
Code Reviews
815
Top Repositories
Activity Feed (latest 50)
commented on pull request ethereum/hevm#753
Jul 2, 2025, 12:23 PM
reviewed a pull request in ethereum/hevm
Jul 2, 2025, 12:23 PM
commented on pull request ethereum/hevm#753
Jul 2, 2025, 12:22 PM
reviewed a pull request in ethereum/hevm
Jul 2, 2025, 12:22 PM
reviewed a pull request in ethereum/hevm
Jul 2, 2025, 12:20 PM
commented on pull request ethereum/hevm#753
Jul 2, 2025, 12:20 PM
commented on pull request ethereum/hevm#753
Jul 2, 2025, 12:19 PM
reviewed a pull request in ethereum/hevm
Jul 2, 2025, 12:19 PM
commented on pull request ethereum/hevm#753
Jul 2, 2025, 12:17 PM
reviewed a pull request in ethereum/hevm
Jul 2, 2025, 12:17 PM
commented on issue ethereum/hevm#784
Jul 2, 2025, 12:12 PM
pushed to main in argotorg/solcore
Jul 2, 2025, 9:28 AM
deleted branch invoke-args-bug at argotorg/solcore
Jul 2, 2025, 9:28 AM
merged a pull request in argotorg/solcore
Jul 2, 2025, 9:28 AM
deleted branch nixify-latex-generation at argotorg/solcore
Jul 2, 2025, 9:27 AM
pushed to main in argotorg/solcore
Jul 2, 2025, 9:27 AM
merged a pull request in argotorg/solcore
Jul 2, 2025, 9:27 AM
Description of `WatchEvent` isn't defined
Jul 2, 2025, 7:35 AM
reviewed a pull request in argotorg/solcore
Jul 1, 2025, 5:15 PM
pushed to purge-dead-modules in argotorg/solcore
Jul 1, 2025, 5:15 PM
pushed to invoke-args-bug in argotorg/solcore
Jul 1, 2025, 5:12 PM
opened a pull request in argotorg/solcore
Jul 1, 2025, 5:11 PM
created a branch dispatch in argotorg/solcore
Jul 1, 2025, 5:10 PM
deleted branch removing-whitespace at argotorg/solcore
Jul 1, 2025, 1:56 PM
pushed to main in argotorg/solcore
Jul 1, 2025, 1:56 PM
merged a pull request in argotorg/solcore
Jul 1, 2025, 1:56 PM
commented on issue argotorg/solcore#134
Jul 1, 2025, 1:50 PM
pushed to removing-whitespace in argotorg/solcore
Jul 1, 2025, 1:49 PM
opened a pull request in argotorg/solcore
Jun 26, 2025, 5:01 PM
pushed to mutual-defs in argotorg/solcore
Jun 26, 2025, 5:00 PM
pushed to mutual-defs in argotorg/solcore
Jun 26, 2025, 4:47 PM
created a branch mutual-defs in argotorg/solcore
Jun 26, 2025, 4:29 PM
opened an issue in argotorg/solcore
Jun 26, 2025, 11:37 AM
Description of `WatchEvent` isn't defined
Jun 24, 2025, 10:39 PM
commented on pull request argotorg/solcore#133
Jun 24, 2025, 1:00 PM
reviewed a pull request in argotorg/solcore
Jun 24, 2025, 1:00 PM
pushed to infra in d-xo/nixpkgs
Jun 23, 2025, 6:59 PM
Description of `WatchEvent` isn't defined
Jun 22, 2025, 11:17 PM
pushed to infra in d-xo/nixpkgs
Jun 22, 2025, 4:46 PM
created a branch infra-2025-06-22 in d-xo/nixpkgs
Jun 22, 2025, 4:46 PM
Description of `WatchEvent` isn't defined
Jun 22, 2025, 9:22 AM
Description of `WatchEvent` isn't defined
Jun 22, 2025, 9:00 AM
Description of `WatchEvent` isn't defined
Jun 18, 2025, 6:35 AM
deleted branch more-std at argotorg/solcore
Jun 17, 2025, 9:00 PM
pushed to main in argotorg/solcore
Jun 17, 2025, 9:00 PM
merged a pull request in argotorg/solcore
Jun 17, 2025, 9:00 PM
reviewed a pull request in ethereum/hevm
Jun 17, 2025, 8:52 PM
commented on pull request argotorg/solcore#132
Jun 17, 2025, 5:48 PM
reviewed a pull request in argotorg/solcore
Jun 17, 2025, 5:48 PM
opened a pull request in argotorg/solcore
Jun 17, 2025, 5:46 PM