Alessandro Coglio
Joined on Sep, 2012•23 repositories
Pull Requests
477
Code Reviews
910
Top Repositories
| # | Repository | Stars | Forks | Issues | Contributors |
|---|---|---|---|---|---|
1 | acoglio/acl2 | 3 | 1 | 0 | -1 |
2 | acoglio/yellowpaper | 1 | 0 | 0 | -1 |
3 | acoglio/workshop | 1 | 0 | 0 | -1 |
4 | acoglio/zips | 0 | 0 | 0 | -1 |
5 | acoglio/webgme | 0 | 0 | 0 | -1 |
6 | acoglio/toml | 0 | 0 | 0 | -1 |
7 | acoglio/tlborm | 0 | 0 | 0 | -1 |
8 | acoglio/tests | 0 | 0 | 0 | -1 |
9 | acoglio/solidity | 0 | 0 | 0 | -1 |
10 | acoglio/snarkVM | 0 | 0 | 0 | -1 |
Activity Feed (Latest 20)
pushed to main in acoglio/acoglio.github.io
18 hours ago
reviewed a pull request in acl2/acl2
8 days ago
reviewed a pull request in acl2/acl2
8 days ago
reviewed a pull request in acl2/acl2
10 days ago
commented on pull request acl2/acl2#1801
10 days ago
reviewed a pull request in acl2/acl2
10 days ago
reviewed a pull request in acl2/acl2
17 days ago
reviewed a pull request in acl2/acl2
17 days ago
pushed to testing-kestrel in acl2/acl2
19 days ago
pushed to testing-user-01 in acl2/acl2
19 days ago
pushed to mac4 in acoglio/acl2
19 days ago
pushed to mac1 in acoglio/acl2
19 days ago
pushed to testing-kestrel in acl2/acl2
19 days ago
pushed to testing-user-01 in acl2/acl2
20 days ago
pushed to mac1 in acoglio/acl2
20 days ago
pushed to testing-kestrel in acl2/acl2
20 days ago
pushed to testing-user-01 in acl2/acl2
20 days ago
pushed to mac4 in acoglio/acl2
20 days ago
pushed to mac4 in acoglio/acl2
21 days ago
pushed to testing-user-01 in acl2/acl2
21 days ago