Topic Hub
#inox (2 Repositories)
Ranked open-source repositories tagged with #inox, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
72.3%
Avg Review Latency
143.2h
Filter by language
2 repositories tagged #inox
B TierPython 27.6k 16 GFIs
ungoogled-software/ungoogled-chromium
Google Chromium, sans integration with Google
80.0%
Merge Rate
14h
First Review
75%
1st-Timers
1
Maintainers
B TierScala 403
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
64.6%
Merge Rate
11d
First Review
25%
1st-Timers
5
Maintainers