| key | value |
|---|---|
| id | 461887190 |
| name | avm-semantics |
| full_name | runtimeverification/avm-semantics |
| html_url | https://github.com/runtimeverification/avm-semantics |
| description | None |
| created_at | Feb. 21, 2022, 2:03 p.m. |
| updated_at | Oct. 24, 2023, 5:10 p.m. |
| pushed_at | May 10, 2024, 5:10 p.m. |
| size | 2,485 |
| stargazers_count | 15 |
| watchers_count | 16 |
| forks_count | 4 |
| open_issues | 12 |
| language | Python |
| awesome_list |