Indexed Artifacts (17.4M)

Popular Categories

BrainCheck: A very simply invariant verification library

LicenseApache 2.0
Used By33 artifacts

VersionRepositoryUsagesDate
1.29.0Central5Jun, 2020
1.28.0Central5May, 2020
1.27.0Central 0 Feb, 2020
1.26.0Central4Feb, 2020
1.25.0Central8Oct, 2019
1.24.0Central 0 Oct, 2019
1.23.0Central1Sep, 2019
1.22.0Central 0 Sep, 2019
1.21.0Central 0 Sep, 2019
1.20.0Central4Jul, 2019
1.19.0Central2Jun, 2019
1.18.0Central 0 Jun, 2019
1.17.0Central 0 Jun, 2019
1.16.0Central4Apr, 2019
1.15.0Central2Apr, 2019
1.14.0Central 0 Apr, 2019
1.13.0Central4Feb, 2019
1.12.0Central7Jul, 2018
1.11.0Central2Jul, 2018
1.10.0Central 0 Jul, 2018
1.9.0Central5Jun, 2018
1.8.0Central 0 Jun, 2018
1.7.0Central 0 Jun, 2018
1.5.0Central10Mar, 2018
1.4.0Central16Feb, 2018
1.3.0Central17Oct, 2017
1.2.0Central9Oct, 2017
1.1.0Central13Oct, 2017
1.0.0Central10Sep, 2017