Pull Requests
247
Code Reviews
129
Top Repositories
# | Repository | Stars | Forks | Issues | Contributors |
---|---|---|---|---|---|
1 | agureev/vamp-ir | 0 | 0 | 0 | -1 |
2 | agureev/noxir | 0 | 0 | 0 | -1 |
3 | agureev/emacs-config | 0 | 0 | 0 | -1 |
4 | agureev/docs.urbit.org | 0 | 0 | 0 | -1 |
5 | agureev/Coq-Files | 0 | 0 | 0 | -1 |
6 | agureev/Arend-Files | 0 | 0 | 0 | -1 |
7 | agureev/agureev.github.io | 0 | 0 | 0 | -1 |
8 | agureev/Agda-Files | 0 | 0 | 0 | -1 |
Activity Feed (Latest 20)
merged a pull request in anoma/evm-protocol-adapter
pushed to main in anoma/evm-protocol-adapter
reviewed a pull request in anoma/evm-protocol-adapter
pushed to master in anoma/gt-documents
merged a pull request in anoma/evm-protocol-adapter
pushed to main in anoma/evm-protocol-adapter
pushed to feature/compute-action-tree-from-cus in anoma/evm-protocol-adapter
commented on issue anoma/anoma#2118
closed an issue in anoma/anoma
commented on issue anoma/anoma#2117
closed an issue in anoma/anoma
opened a pull request in anoma/evm-protocol-adapter
created a branch feature/compute-action-tree-from-cus in anoma/evm-protocol-adapter
merged a pull request in anoma/evm-protocol-adapter
pushed to main in anoma/evm-protocol-adapter
reviewed a pull request in anoma/evm-protocol-adapter
opened a pull request in anoma/evm-protocol-adapter
created a branch feature/delta-sum-up in anoma/evm-protocol-adapter
pushed to artem/q3.1-2.1 in anoma/gt-documents
created a branch artem/q3.1-2.1 in anoma/gt-documents