microproofs
Blockchain Engineer and Smart Contract Developer on Cardano.
Pull Requests
166
Code Reviews
107
Top Repositories
# | Repository | Stars | Forks | Issues | Contributors |
---|---|---|---|---|---|
1 | MicroProofs/inverse-whirlpool | 6 | 1 | 0 | -1 |
2 | MicroProofs/verified-tokens | 0 | 0 | 0 | -1 |
3 | MicroProofs/VBInventoryManagement | 0 | 0 | 0 | -1 |
4 | MicroProofs/vault | 0 | 0 | 0 | -1 |
5 | MicroProofs/twt_products | 0 | 0 | 0 | -1 |
6 | MicroProofs/sveltekit-auth-example | 0 | 0 | 0 | -1 |
7 | MicroProofs/sparse-merkle-tree | 0 | 0 | 0 | -1 |
8 | MicroProofs/plutus-bench | 0 | 0 | 0 | -1 |
9 | MicroProofs/phone_bot | 0 | 0 | 0 | -1 |
10 | MicroProofs/pallas | 0 | 0 | 0 | -1 |
Activity Feed (Latest 20)
pushed to main in aiken-lang/aiken
pushed to main in aiken-lang/aiken
pushed to main in aiken-lang/aiken
created a tag v1.1.18 in aiken-lang/aiken
pushed to main in aiken-lang/aiken
pushed to main in aiken-lang/aiken
commented on issue cardano-foundation/CIPs#1063
commented on issue cardano-foundation/CIPs#862
commented on issue cardano-foundation/CIPs#862
commented on issue cardano-foundation/CIPs#862
commented on issue cardano-foundation/CIPs#862
commented on issue cardano-foundation/CIPs#862
commented on issue cardano-foundation/CIPs#862
commented on issue cardano-foundation/CIPs#862
reviewed a pull request in aiken-lang/aiken
reviewed a pull request in aiken-lang/aiken
reviewed a pull request in aiken-lang/aiken
pushed to main in aiken-lang/aiken
closed an issue in aiken-lang/aiken
deleted branch fix-top-level-validator-params at aiken-lang/aiken