QuickCheck inspired property-based testing for OCaml.
- ocaml
- quickcheck
- random
- testing
47,133 repositories indexed
169–192 of 371 · Most stars
QuickCheck inspired property-based testing for OCaml.
BDD Framework and test runner for Swift projects and playgrounds
Shift-left API Integration | Auto-fix integration drift before integration. Specmatic turns API specifications into executable contracts, continuously verifying that every change made by AI coding agents and engineers stays true to the desired behaviour. Ship AI-ready APIs 10x faster, from intent to implementation, with Spec-Driven API Development.
A lightweight Python SDK and CLI for evaluating recursive self-improvement (RSI) methods across agent benchmarks.
AI-powered E2E testing for 10 platforms. 253 MCP tools. Zero config. Works with Claude, Cursor, Windsurf, Copilot. Test Flutter, React Native, iOS, Android, Web, Electron, Tauri, KMP, .NET MAUI — all from natural language.
A minimalist's unit testing framework ("classic" version)
Property based Testing for Elixir (based upon PropEr)
Fuzzer for Linux Kernel Drivers
Test your shell scripts!
A Kernel fuzzer focusing on race bugs
Enable network mocks and more in UI Tests
Mock built-in PHP functions (e.g. time(), exec() or rand())
Unexpected - the extensible BDD assertion toolkit
Set of tools for security testing of Internet of Things devices using specific network IoT protocols
Concuerror is a stateless model checking tool for Erlang programs.
Test coverage reports for R
Run Mocha tests in Electron
The repository host gives no description.
Performance benchmark framework for C++ with nanoseconds measure precision
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
RR is a test double framework that features a rich selection of double techniques and a terse syntax. ⛺
Code coverage for OCaml and ReScript
Small library to easily run your tests directly within a Playground
Property-based testing library for Elixir (QuickCheck style).