avatar

microproofs

Blockchain Engineer and Smart Contract Developer on Cardano.

Joined on Apr, 201916 repositories

Pull Requests

166

Code Reviews

107

Activity Feed (Latest 20)

pushed to main in aiken-lang/aiken

3 days ago

pushed to main in aiken-lang/aiken

3 days ago

pushed to main in aiken-lang/aiken

3 days ago

created a tag v1.1.18 in aiken-lang/aiken

3 days ago

pushed to main in aiken-lang/aiken

3 days ago

pushed to main in aiken-lang/aiken

3 days ago
!

commented on issue cardano-foundation/CIPs#1063

4 days ago
!

commented on issue cardano-foundation/CIPs#862

7 days ago
!

commented on issue cardano-foundation/CIPs#862

7 days ago
!

commented on issue cardano-foundation/CIPs#862

7 days ago
!

commented on issue cardano-foundation/CIPs#862

7 days ago
!

commented on issue cardano-foundation/CIPs#862

7 days ago
!

commented on issue cardano-foundation/CIPs#862

7 days ago
!

commented on issue cardano-foundation/CIPs#862

7 days ago

reviewed a pull request in aiken-lang/aiken

13 days ago

reviewed a pull request in aiken-lang/aiken

13 days ago

reviewed a pull request in aiken-lang/aiken

13 days ago

pushed to main in aiken-lang/aiken

13 days ago
!

closed an issue in aiken-lang/aiken

13 days ago

deleted branch fix-top-level-validator-params at aiken-lang/aiken

13 days ago