imandra-ai / verified-react

Automated reasoning for React/ReasonML

imandra-ai
imandra-ai
Date Created 2018-10-14 (6 years ago)
Commits 192 (last one 5 years ago)
Stargazers 113 (0 this week)
Watchers 17 (0 this week)
Forks 4
License unknown
Ranking

RepositoryStats indexes 628,868 repositories, of these imandra-ai/verified-react is ranked #281,106 (55th percentile) for total stargazers, and #126,704 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #315/730.

imandra-ai/verified-react is also tagged with popular topics, for these it's ranked: react (#6,049/11178)

Other Information

imandra-ai/verified-react has 15 open pull requests on Github, 10 pull requests have been merged over the lifetime of the repository.

Star History

Github stargazers over time

12012010010080806060404020200020192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

181817171616151514141313121220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

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

Inactive

No recent commits to this repository

Yearly Commits

Commits to the default branch (master) per year

160160140140120120100100808060604040202000201820182019201920202020202120212022202220242024

Issue History

No issues have been posted

Languages

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

OCamlOCamlCSSCSSJavaScriptJavaScriptStandard MLStandard ML

updated: 2025-03-07 @ 12:06am, id: 152997489 / R_kgDOCR6OcQ