ligurio / practical-fm

A gently curated list of companies using verification formal methods in industry

Date Created 2018-02-13 (6 years ago)
Commits 97 (last one 5 days ago)
Stargazers 509 (1 this week)
Watchers 56 (0 this week)
Forks 40
License unknown
Ranking

RepositoryStats indexes 610,149 repositories, of these ligurio/practical-fm is ranked #91,706 (85th percentile) for total stargazers, and #36,480 for total watchers.

ligurio/practical-fm is also tagged with popular topics, for these it's ranked: software-engineering (#62/254)

Other Information

ligurio/practical-fm has Github issues enabled, there are 3 open issues and 6 closed issues.

Star History

Github stargazers over time

6006005005004004003003002002001001000020192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

565655555454535352525151505049494848474720232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24

Recent Commit History

13 commits on the default branch (master) since jan '22

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

Yearly Commits

Commits to the default branch (master) per year

303025252020151510105500201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
9988776655443322110020192019202020202021202120222022202320232024202420252025

Languages

We don't have any language data for this repository

It's a mystery

updated: 2025-01-31 @ 05:55pm, id: 121409745 / R_kgDOBzyQ0Q