PropEr: a QuickCheck-inspired property-based testing tool for Erlang
-
Updated
Apr 2, 2025 - Erlang
#
codecov-badge
Here are 10 public repositories matching this topic...
Concuerror is a stateless model checking tool for Erlang programs.
testing debugging erlang otp tool verification systematic-testing travis-badge concuerror automatic concurrent-erlang-programs concurrent-programming model-checking codecov model-checker codecov-badge stateless-model-checking erlang-versions-badge erlang-programs
-
Updated
Mar 30, 2025 - Erlang
How to add badge (eg: Travis-CI & GoReportCard & Coveralls & Codecov ) in Github README.
github go golang readme coveralls report-card travis-ci badge status-badge coverage-status codecov stargazer codecov-badge goreportcard how-to-add-badge-in-github-readme
-
Updated
Mar 1, 2019 - Go
A distributed unique ID generator inspired by Twitter's Snowflake, rewritten in python
python travis-ci snowflake readthedocs codecov unique-id codecov-badge sonyflake id-generator readthedocs-badge
-
Updated
Aug 17, 2024 - Python
Automated end-to-end testing framework built with Playwright and Java, tailored for any website. Designed for scalability and maintainability, this framework covers critical test scenarios with robust assertions and clean, modular code. Perfect for those looking to speed up their test automation journey or enhance their Playwright skills!
parallelization jacoco codecov-badge discord-integration chrome-devtools-protocol maven-pom testng-framework java-17 web-performance-analytics playwright-java web-test-automation
-
Updated
Apr 5, 2025 - Java
List of solved challenges (codewars and edabit).
javascript jest test test-automation codecov test-driven-development codecov-badge codewars-solutions challenges-solved edibit-solutions
-
Updated
May 7, 2022 - JavaScript
Project that illustrates how to create an R package.
-
Updated
Sep 18, 2017 - R
List of solved challenges (codewars and edabit).
python continuous-integration pytest codecov codecov-badge codewars-solutions challenges-solved edibit-solutions
-
Updated
May 6, 2022 - Python
An R package to get, clean, and visualize earthquake data from the NOAA.
ggplot2 r timeline noaa travis-badge leaflet-map r-package earthquake-data r-programming codecov-badge ggplot2-theme earthquake-visualization appveyor-badge earthquake-data-processing noaa-earthquakes ggplot2-geoms
-
Updated
Sep 18, 2017 - R
🤖 A Toil example pipeline created with cookiecutter-toil.
-
Updated
Sep 8, 2021 - Python
Improve this page
Add a description, image, and links to the codecov-badge topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the codecov-badge topic, visit your repo's landing page and select "manage topics."