Terry Casper
Building the backbone of the decentralized world — secure, scalable, and human. Web3 Strategist • Blockchain Architect • Formerly @ Akido Labs 🏢
Pull Requests
18
Code Reviews
3
Top Repositories
Activity Feed (latest 19)
commented on issue informalsystems/quint#1695
Jun 17, 2025, 3:22 PM
pushed to feat/verify-command-freeze-no-java in teresper-eth/quint
Jun 17, 2025, 3:21 PM
commented on issue informalsystems/quint#1502
Jun 16, 2025, 3:56 PM
commented on issue informalsystems/quint#1502
Jun 16, 2025, 6:17 AM
opened a pull request in informalsystems/quint
Jun 16, 2025, 6:17 AM
created a branch feat/verify-command-freeze-no-java in teresper-eth/quint
Jun 16, 2025, 6:15 AM
pushed to main in teresper-eth/quint
Jun 13, 2025, 7:10 PM
commented on issue voteagora/op-atlas#988
Jun 11, 2025, 1:43 PM
opened a pull request in voteagora/op-atlas
Jun 11, 2025, 1:41 PM
created a branch fix/replace-image-in-Privy-Sign-In in teresper-eth/op-atlas
Jun 11, 2025, 1:35 PM
Description of `ForkEvent` isn't defined
Jun 11, 2025, 12:27 PM
commented on issue voteagora/op-atlas#955
Jun 11, 2025, 12:25 PM
commented on issue ghostfolio/ghostfolio#4833
Jun 6, 2025, 5:33 PM
pushed to feat/esp-lang-update in teresper-eth/ghostfolio
Jun 6, 2025, 5:31 PM
pushed to feat/esp-lang-update in teresper-eth/ghostfolio
Jun 6, 2025, 5:29 PM
commented on issue ghostfolio/ghostfolio#4833
Jun 5, 2025, 9:58 AM
opened a pull request in ghostfolio/ghostfolio
Jun 5, 2025, 9:57 AM
created a branch feat/esp-lang-update in teresper-eth/ghostfolio
Jun 5, 2025, 9:53 AM
pushed to main in teresper-eth/ghostfolio
Jun 5, 2025, 9:39 AM