avatar

Matthias Benkort

Joined on Oct, 201348 repositories

Pull Requests

1,279

Code Reviews

3,083

Top Repositories

#
Repository
Stars
Forks
Issues (open)
Contributors

Activity Feed (latest 50)

pushed to memoize-transaction-outputs in pragma-org/amaru

Jul 4, 2025, 4:55 PM

pushed to memoize-transaction-outputs in pragma-org/amaru

Jul 4, 2025, 3:19 PM

pushed to memoize-transaction-outputs in pragma-org/amaru

Jul 4, 2025, 3:18 PM

pushed to memoize-transaction-outputs in pragma-org/amaru

Jul 4, 2025, 3:05 PM

deleted branch jeluard/no-debug-in-telemetry at pragma-org/amaru

Jul 4, 2025, 1:58 PM

pushed to main in pragma-org/amaru

Jul 4, 2025, 1:58 PM

merged a pull request in pragma-org/amaru

Jul 4, 2025, 1:58 PM

reviewed a pull request in pragma-org/amaru

Jul 4, 2025, 1:58 PM

pushed to memoize-transaction-outputs in pragma-org/amaru

Jul 4, 2025, 12:52 PM

pushed to memoize-transaction-outputs in pragma-org/amaru

Jul 4, 2025, 12:00 PM

deleted branch jeluard/data at pragma-org/amaru

Jul 4, 2025, 11:36 AM

pushed to main in pragma-org/amaru

Jul 4, 2025, 11:36 AM

merged a pull request in pragma-org/amaru

Jul 4, 2025, 11:36 AM

reviewed a pull request in pragma-org/amaru

Jul 4, 2025, 11:36 AM

deleted branch jeluard/per-network at pragma-org/amaru

Jul 4, 2025, 11:34 AM

pushed to main in pragma-org/amaru

Jul 4, 2025, 11:34 AM

merged a pull request in pragma-org/amaru

Jul 4, 2025, 11:34 AM

reviewed a pull request in pragma-org/amaru

Jul 4, 2025, 11:34 AM

commented on issue aiken-lang/aiken#1181

Jul 4, 2025, 9:04 AM

pushed to memoize-transaction-outputs in pragma-org/amaru

Jul 3, 2025, 3:51 PM

pushed to main in pragma-org/amaru

Jul 2, 2025, 1:10 PM

merged a pull request in pragma-org/amaru

Jul 2, 2025, 1:10 PM

reviewed a pull request in pragma-org/amaru

Jul 2, 2025, 1:09 PM

deleted branch more-ledger-fixes at pragma-org/amaru

Jul 2, 2025, 12:35 PM

pushed to main in pragma-org/amaru

Jul 2, 2025, 12:35 PM

merged a pull request in pragma-org/amaru

Jul 2, 2025, 12:35 PM

commented on issue pragma-org/amaru#316

Jul 2, 2025, 12:16 PM

pushed to add-ro-ledgerdb in geofflittle/amaru

Jul 2, 2025, 12:14 PM

reviewed a pull request in pragma-org/amaru

Jul 2, 2025, 12:12 PM

pushed to add-ro-ledgerdb in geofflittle/amaru

Jul 2, 2025, 12:11 PM

pushed to add-ro-ledgerdb in geofflittle/amaru

Jul 2, 2025, 11:49 AM

commented on pull request pragma-org/amaru#316

Jul 2, 2025, 11:49 AM

reviewed a pull request in pragma-org/amaru

Jul 2, 2025, 11:49 AM

commented on pull request pragma-org/amaru#316

Jul 2, 2025, 11:48 AM

reviewed a pull request in pragma-org/amaru

Jul 2, 2025, 11:48 AM

commented on pull request pragma-org/amaru#316

Jul 2, 2025, 11:48 AM

reviewed a pull request in pragma-org/amaru

Jul 2, 2025, 11:48 AM

commented on pull request pragma-org/amaru#316

Jul 2, 2025, 11:47 AM

reviewed a pull request in pragma-org/amaru

Jul 2, 2025, 11:47 AM

commented on pull request pragma-org/amaru#316

Jul 2, 2025, 10:03 AM

reviewed a pull request in pragma-org/amaru

Jul 2, 2025, 10:03 AM

commented on pull request pragma-org/amaru#316

Jul 2, 2025, 10:03 AM

reviewed a pull request in pragma-org/amaru

Jul 2, 2025, 10:03 AM

commented on pull request pragma-org/amaru#316

Jul 2, 2025, 10:03 AM

reviewed a pull request in pragma-org/amaru

Jul 2, 2025, 10:03 AM

commented on pull request pragma-org/amaru#316

Jul 2, 2025, 9:59 AM

reviewed a pull request in pragma-org/amaru

Jul 2, 2025, 9:59 AM

commented on pull request pragma-org/amaru#316

Jul 2, 2025, 9:57 AM

reviewed a pull request in pragma-org/amaru

Jul 2, 2025, 9:57 AM

reviewed a pull request in pragma-org/amaru

Jul 2, 2025, 9:56 AM