Guilherme Dantas
I like cryptography, programming languages, and mechanized proofs.
Pull Requests
364
Code Reviews
924
Top Repositories
Activity Feed (latest 50)
created a branch prt-draft in cartesi/rollups-node
Jul 4, 2025, 12:41 AM
Description of `ReleaseEvent` isn't defined
Jul 3, 2025, 9:11 PM
created a tag v1.0.1-test in cartesi/dave
Jul 3, 2025, 9:11 PM
deleted branch feature/release-contract-artifacts at cartesi/dave
Jul 3, 2025, 9:10 PM
pushed to main in cartesi/dave
Jul 3, 2025, 9:10 PM
closed an issue in cartesi/dave
Jul 3, 2025, 9:10 PM
merged a pull request in cartesi/dave
Jul 3, 2025, 9:10 PM
pushed to feature/release-contract-artifacts in cartesi/dave
Jul 3, 2025, 6:31 PM
deleted branch next/3.0 at cartesi/rollups-node
Jul 3, 2025, 6:29 PM
pushed to feature/release-contract-artifacts in cartesi/dave
Jul 3, 2025, 3:22 PM
created a branch next/3.0 in cartesi/rollups-node
Jul 3, 2025, 3:21 PM
commented on issue cartesi/dave#191
Jul 3, 2025, 11:01 AM
opened a pull request in cartesi/dave
Jul 3, 2025, 10:31 AM
created a branch feature/release-contract-artifacts in cartesi/dave
Jul 3, 2025, 10:00 AM
commented on issue cartesi/dave#87
Jun 25, 2025, 4:51 PM
commented on issue cartesi/honeypot#24
Jun 25, 2025, 4:41 PM
closed a pull request in cartesi/honeypot
Jun 25, 2025, 4:41 PM
Description of `GollumEvent` isn't defined
Jun 24, 2025, 5:15 PM
commented on issue cartesi/honeypot#24
Jun 23, 2025, 2:12 PM
commented on issue cartesi/honeypot#24
Jun 23, 2025, 2:11 PM
pushed to feature/reader-node-compose in cartesi/honeypot
Jun 21, 2025, 1:37 PM
opened a pull request in cartesi/honeypot
Jun 21, 2025, 3:30 AM
pushed to feature/reader-node-compose in cartesi/honeypot
Jun 21, 2025, 3:18 AM
created a branch feature/reader-node-compose in cartesi/honeypot
Jun 21, 2025, 3:14 AM
commented on issue cartesi/honeypot#23
Jun 19, 2025, 8:36 AM
commented on issue cartesi/honeypot#23
Jun 18, 2025, 6:24 PM
commented on issue cartesi/honeypot#23
Jun 17, 2025, 8:02 PM
Description of `GollumEvent` isn't defined
Jun 17, 2025, 8:00 PM
Description of `GollumEvent` isn't defined
Jun 17, 2025, 7:54 PM
commented on issue cartesi/honeypot#23
Jun 17, 2025, 7:19 PM
Description of `GollumEvent` isn't defined
Jun 17, 2025, 7:04 PM
Description of `GollumEvent` isn't defined
Jun 17, 2025, 7:03 PM
reviewed a pull request in cartesi/honeypot
Jun 17, 2025, 6:23 PM
reviewed a pull request in cartesi/honeypot
Jun 17, 2025, 6:18 PM
commented on pull request cartesi/honeypot#23
Jun 17, 2025, 6:11 PM
commented on pull request cartesi/honeypot#23
Jun 17, 2025, 6:11 PM
commented on pull request cartesi/honeypot#23
Jun 17, 2025, 6:13 PM
commented on pull request cartesi/honeypot#23
Jun 17, 2025, 6:10 PM
commented on pull request cartesi/honeypot#23
Jun 17, 2025, 6:09 PM
reviewed a pull request in cartesi/honeypot
Jun 17, 2025, 6:15 PM
reviewed a pull request in cartesi/dave
Jun 17, 2025, 5:06 PM
commented on pull request cartesi/dave#190
Jun 17, 2025, 5:04 PM
reviewed a pull request in cartesi/dave
Jun 17, 2025, 5:04 PM
Description of `GollumEvent` isn't defined
Jun 17, 2025, 2:08 PM
Description of `GollumEvent` isn't defined
Jun 17, 2025, 1:26 PM
Description of `GollumEvent` isn't defined
Jun 17, 2025, 1:22 PM
deleted branch dependabot/github_actions/softprops/action-gh-release-2.3.2 at cartesi/rollups-contracts
Jun 17, 2025, 9:29 AM
pushed to main in cartesi/rollups-contracts
Jun 17, 2025, 9:29 AM
merged a pull request in cartesi/rollups-contracts
Jun 17, 2025, 9:29 AM
reviewed a pull request in cartesi/rollups-contracts
Jun 17, 2025, 9:28 AM