"How to Specify it" in Java and jqwik
☆26Jan 7, 2022Updated 4 years ago
Alternatives and similar repositories for how-to-specify-it
Users that are interested in how-to-specify-it are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- QuickCheck extras.☆29Jun 23, 2019Updated 6 years ago
- Implementation of language Self in Graal and Truffle☆14Oct 24, 2020Updated 5 years ago
- Property-Based Testing on the JUnit Platform☆647Mar 16, 2026Updated last week
- Astview is a graphical viewer for abstract syntax trees☆25Mar 26, 2022Updated 4 years ago
- Crunchy Cookie Company - Stream workshop☆12Jan 26, 2026Updated 2 months ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Atomix Jepsen tests☆14Feb 7, 2017Updated 9 years ago
- Jenkins TAP Plug-in☆25Feb 26, 2026Updated last month
- A Card Game to support Dependency Detection for Scaled Agile SetUps like SAFe☆16Jan 30, 2025Updated last year
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Apr 3, 2017Updated 8 years ago
- Reproduction code for Postgres BUG #13667☆18Jan 7, 2016Updated 10 years ago
- Java Mutation Testing Framework Written in Python☆23Aug 17, 2025Updated 7 months ago
- jqwik extension to support testing of Spring and Spring-Boot applications☆27Aug 9, 2024Updated last year
- Documentation for all retest projects.☆12Apr 21, 2022Updated 3 years ago
- ☆12Mar 2, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Gradle wrapper around ArchUnit, to easily share and enforce architecture rules across projects☆26Nov 19, 2023Updated 2 years ago
- Some examples for react-training☆10Sep 5, 2016Updated 9 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- Perl 5 Scientist - Test new code against old☆10Mar 19, 2025Updated last year
- inspired by the talk tim berglund and i did at Kafka Summit 2019☆20Apr 4, 2019Updated 6 years ago
- Collection of benchmarks that reveal the performance of some lexing and parsing issues (mostly C# runtime)☆10May 7, 2022Updated 3 years ago
- Japanese translation of OpenSSH manual pages☆13Oct 15, 2016Updated 9 years ago
- This repo contains the reference materials to my Craft Conf 2015 talk☆12Apr 28, 2015Updated 10 years ago
- A formal specification of snapshot isolation.☆20Jul 17, 2025Updated 8 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A Minimalist Modal Editing Mechanism for Emacs☆18Dec 6, 2025Updated 3 months ago
- Use ChatGPT to review changed source code files GitHub Pull Requests☆25Aug 5, 2024Updated last year
- Judicious truncation for long vertico lines☆11Dec 26, 2023Updated 2 years ago
- ☆14Feb 10, 2021Updated 5 years ago
- Jakarta RPC specification project☆14Mar 2, 2026Updated 3 weeks ago
- calend☆43Mar 8, 2013Updated 13 years ago
- Dive Into HTML5 online book - Czech translation☆20Nov 20, 2012Updated 13 years ago
- Just another jekyll container.☆11Mar 2, 2017Updated 9 years ago
- Emacs package to restore point after C-g when mark☆11Nov 4, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- GitHub style identicon avatar☆15Aug 3, 2017Updated 8 years ago
- JFR Datasource for Grafana☆51Updated this week
- Open source publishing platform built by developers, for developers.☆17Sep 1, 2025Updated 6 months ago
- A little (< 300 loc), incomplete TCL interpreter☆13Mar 3, 2017Updated 9 years ago
- Multiple cursors for Emacs☆83Jan 21, 2026Updated 2 months ago
- Reference materials for my FullStackFest 2016 talk☆19May 7, 2017Updated 8 years ago
- A natural transformation package☆16Jan 8, 2026Updated 2 months ago