Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with codecov-badge
A curated list of projects in awesome lists tagged with codecov-badge .
https://github.com/proper-testing/proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
codecov-badge erlang erlang-versions-badge release-badge
Last synced: 29 Sep 2024
https://github.com/parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
automatic codecov codecov-badge concuerror concurrent-erlang-programs concurrent-programming debugging erlang erlang-programs erlang-versions-badge model-checker model-checking otp stateless-model-checking systematic-testing testing tool travis-badge verification
Last synced: 04 Aug 2024
https://github.com/parapluu/concuerror
Concuerror is a stateless model checking tool for Erlang programs.
automatic codecov codecov-badge concuerror concurrent-erlang-programs concurrent-programming debugging erlang erlang-programs erlang-versions-badge model-checker model-checking otp stateless-model-checking systematic-testing testing tool travis-badge verification
Last synced: 29 Sep 2024
https://github.com/Cesar-Urteaga/rfars
Project that illustrates how to create an R package.
appveyor-badge codecov-badge fars-database r r-package r-programming r-vignette travis-badge
Last synced: 13 Aug 2024
