avatar

Guilherme Dantas

I like cryptography, programming languages, and mechanized proofs.

Rio de Janeiro, Brazil
Joined on Oct, 2014112 repositories

Pull Requests

364

Code Reviews

924

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