| key | value |
|---|---|
| id | 18437700 |
| name | Concuerror |
| full_name | parapluu/Concuerror |
| html_url | https://github.com/parapluu/Concuerror |
| description | Concuerror is a stateless model checking tool for Erlang programs. |
| created_at | April 4, 2014, 12:04 p.m. |
| updated_at | April 26, 2024, 9 a.m. |
| pushed_at | March 19, 2024, 5:41 a.m. |
| size | 11,020 |
| stargazers_count | 330 |
| watchers_count | 18 |
| forks_count | 43 |
| open_issues | 17 |
| language | Erlang |
| awesome_list |