informalsystems / modelator

Model-based testing tool

informalsystems
informalsystems
Date Created 2021-01-21 (4 years ago)
Commits 446 (last one 21 days ago)
Stargazers 56 (0 this week)
Watchers 24 (0 this week)
Forks 5
License apache-2.0
Ranking

RepositoryStats indexes 634,548 repositories, of these informalsystems/modelator is ranked #456,405 (28th percentile) for total stargazers, and #90,751 for total watchers. Github reports the primary language for this repository as Python, for repositories using this language it is ranked #89,035/129,822.

informalsystems/modelator is also tagged with popular topics, for these it's ranked: rust (#5,940/7783)

Other Information

informalsystems/modelator has 1 open pull request on Github, 121 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 6 open issues and 163 closed issues.

Homepage URL: https://mbt.informal.systems

Star History

Github stargazers over time

60605050404030302020101000Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

2727262625252424232322222121202019191818171720232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

192 commits on the default branch (dev) since jan '22

200200180180160160140140120120100100808060604040202000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (dev) per year

300300250250200200150150100100505000202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
180180160160140140120120100100808060604040202000Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

The primary language is Python but there's also others...

PythonPythonTLATLAShellShellHTMLHTMLSCSSSCSSRubyRuby

updated: 2025-03-26 @ 09:23am, id: 331594145 / R_kgDOE8O5oQ