Pull Requests
62
Code Reviews
193
Top Repositories
Activity Feed (latest 31)
commented on issue GaloisInc/cryptol-specs#303
Jun 23, 2025, 6:38 PM
opened a pull request in GaloisInc/cryptol-specs
Jun 23, 2025, 5:49 PM
pushed to feature/xmss-ffi in GaloisInc/cryptol-specs
Jun 23, 2025, 5:48 PM
created a branch feature/xmss-ffi in GaloisInc/cryptol-specs
Jun 23, 2025, 5:47 PM
deleted branch feature/xmss-impl at GaloisInc/cryptol-specs
Jun 23, 2025, 4:48 PM
pushed to master in GaloisInc/cryptol-specs
Jun 23, 2025, 4:48 PM
closed an issue in GaloisInc/cryptol-specs
Jun 23, 2025, 4:48 PM
merged a pull request in GaloisInc/cryptol-specs
Jun 23, 2025, 4:48 PM
deleted branch feature/wotsp-ffi at GaloisInc/cryptol-specs
Jun 23, 2025, 4:38 PM
pushed to master in GaloisInc/cryptol-specs
Jun 23, 2025, 4:38 PM
merged a pull request in GaloisInc/cryptol-specs
Jun 23, 2025, 4:38 PM
commented on pull request GaloisInc/cryptol-specs#315
Jun 23, 2025, 3:51 PM
reviewed a pull request in GaloisInc/cryptol-specs
Jun 23, 2025, 3:51 PM
commented on pull request GaloisInc/cryptol-specs#296
Jun 23, 2025, 3:49 PM
reviewed a pull request in GaloisInc/cryptol-specs
Jun 23, 2025, 3:49 PM
opened a pull request in GaloisInc/cryptol-specs
Jun 23, 2025, 3:34 PM
created a branch feature/wotsp-ffi in GaloisInc/cryptol-specs
Jun 23, 2025, 3:33 PM
commented on pull request GaloisInc/cryptol-specs#296
Jun 20, 2025, 10:10 PM
reviewed a pull request in GaloisInc/cryptol-specs
Jun 20, 2025, 10:10 PM
pushed to feature/xmss-impl in GaloisInc/cryptol-specs
Jun 20, 2025, 10:06 PM
commented on pull request GaloisInc/cryptol-specs#309
Jun 6, 2025, 5:44 PM
reviewed a pull request in GaloisInc/cryptol-specs
Jun 6, 2025, 5:45 PM
reviewed a pull request in GaloisInc/cryptol-specs
Jun 6, 2025, 5:45 PM
pushed to refactor/aes-key-wrap in GaloisInc/cryptol-specs
Jun 4, 2025, 5:10 PM
commented on pull request GaloisInc/cryptol-specs#302
Jun 4, 2025, 3:58 PM
reviewed a pull request in GaloisInc/cryptol-specs
Jun 4, 2025, 3:58 PM
commented on issue GaloisInc/cryptol-specs#302
Jun 4, 2025, 3:57 PM
pushed to refactor/aes-key-wrap in GaloisInc/cryptol-specs
Jun 4, 2025, 3:56 PM
pushed to refactor/aes-key-wrap in GaloisInc/cryptol-specs
Jun 4, 2025, 3:05 PM
pushed to refactor/aes-key-wrap in GaloisInc/cryptol-specs
Jun 4, 2025, 2:55 PM
commented on issue GaloisInc/cryptol-specs#302
Jun 4, 2025, 2:53 PM