Randomized Property-Based Testing Plugin for Coq
Repository Index
47,133 repositories indexed
97–120 of 170 · Most stars
RabbitMQ wire tap and swiss army knife
- rabbitmq
- tap
- wiretap
- golang
property based testing library for Scala
- scalaz
- testing
- scala
- scalaprops
Random testing library for C#
- quickcheck
- testing
- random
- regression-testing
A battle hardened testing framework for C# that's heavily inspired by Mocha and RSpec.
querySelector that can pierce Shadow DOM roots without knowing the path through nested shadow roots. Useful for automated testing of Web Components. Production use is not advised, this is for test environments/tools such as Web Driver, Playwright, Puppeteer
- webcomponents
- shadow-dom
- javascript
- puppeteer
Pipit is a Wagtail CMS boilerplate which aims to provide an easy and modern developer workflow with a React-rendered frontend.
go-test-coverage is a tool designed to report issues when test coverage falls below a specified threshold
Test your command line interfaces on windows, linux and osx and nodes viá ssh and docker
A Ruby LSP addon for RSpec tests
- rspec
- ruby-lsp
- vscode-extension
HTTP load testing for CI/CD — honest latency, CI thresholds, single binary, JSON output
Cross platform code coverage tool for .NET Core
- coverage
- netcore
- code-coverage
- net-core
A tool for formatting Go test results as readable documentation
- agiledox
- go
- golang
- testing
Bouncy Hsm is a software simulator of HSM and smartcard simulator with HTML UI, REST API and PKCS#11 interface.
- blazor
- blazor-webassembly
- bouncycastle
- cryptography
WebDriver implementation for Qt
Expertiza is a web application through which students can submit and peer-review learning objects (articles, code, web sites, etc). The Expertiza project is supported by the National Science Foundation.
- ruby
- peer-reviews
- rails-application
- students
Super lightweight web framework in Swift based on SWSGI
Randomized Testing (Core JUnit Runner, ANT, Maven)
Render preact components with access to the produced virtual dom for testing.
A lightweight templating system for generating random data
Fixtures for Elixir apps
BENERATOR is a leading software solution to generate, obfuscate, pseudonymize and migrate data for development, testing, and training purposes with a model-driven approach.
- testdata
- anonymization
- migration
- performance-testing
Simple and complete Preact DOM testing utilities that encourage good testing practices.
Mock an SSH server and define all commands it supports (Python, Twisted)