A tool for finding assumptions on APIs with under-determined specifications.
☆59Dec 18, 2025Updated 3 months ago
Alternatives and similar repositories for NonDex
Users that are interested in NonDex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆54Dec 21, 2025Updated 3 months ago
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- STARTS - A tool for STAtic Regression Test Selection☆32Jul 1, 2024Updated last year
- A tiny Kotlin Multiplatform library that provides an Omittable type to be used in cases where the absence of a value is semantically diff…☆19Updated this week
- ☆32Nov 21, 2024Updated last year
- Gradle plugin based upon maven-modernizer-plugin☆13Jun 9, 2020Updated 5 years ago
- javaagent for finding excessive object allocations - Main repo at:☆22Feb 1, 2015Updated 11 years ago
- Testing Configuration Changes in Context to Prevent Production Failures☆33Dec 11, 2023Updated 2 years ago
- ☆17Nov 11, 2021Updated 4 years ago
- Test-Case Prioritization for Configuration Testing☆16Jul 19, 2021Updated 4 years ago
- Official repository for PraPR source code☆14May 11, 2021Updated 4 years ago
- ☆10Nov 14, 2022Updated 3 years ago
- Java EditorConfig Parser☆28Dec 3, 2025Updated 3 months ago
- A set of extensions to Okio, check out https://saveourtool.github.io/okio-extras/☆14Jan 3, 2025Updated last year
- Jukeboxes process records. This Java Annotation Processor automatically creates Builders for JEP 359 Records (Preview). Needs Java 14.☆17Feb 6, 2020Updated 6 years ago
- Giter8 template for a simple project that uses sbt-crossproject.☆11Jul 16, 2018Updated 7 years ago
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆16Nov 1, 2023Updated 2 years ago
- A maven plugin to check that YAML and JSON files are well formed and optionally valid against JSON schemas☆21Sep 11, 2023Updated 2 years ago
- Galaxy is a lightweight software deployment and management tool. We use it at Ning to manage the Java cores and Apache httpd instances th…☆21Sep 11, 2011Updated 14 years ago
- ☆16Mar 11, 2026Updated last week
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- Bioinformatics benchmarking package, based on the original BioBench developed by Albayraktaroglu et al, 2005☆13Dec 13, 2018Updated 7 years ago
- Migrated from https://java.net/projects/yanfs/sources/svn/show☆11Mar 9, 2023Updated 3 years ago
- Jepsen tests for local filesystems, running on a single node.☆16Aug 15, 2022Updated 3 years ago
- https://hub.docker.com/r/clangbuiltlinux/ubuntu/☆11Jan 20, 2021Updated 5 years ago
- Automatic code rewriting for AssertJ using error-prone and refaster☆23Updated this week
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- List of Errorprone Checkers and Plugins☆16Jul 8, 2020Updated 5 years ago
- Example microservice for showing tasks with dropwizard.☆12Jan 10, 2016Updated 10 years ago
- An OSS clone of javadoc.io☆11Feb 10, 2026Updated last month
- An attempt to document equivalent features in java 8 futures and guava futures☆47Nov 12, 2015Updated 10 years ago
- A file system test suite to assess the correctness of file system implementations in terms of POSIX compliance.☆13Jul 29, 2025Updated 7 months ago
- ☆121Oct 31, 2025Updated 4 months ago
- Skeleton algorithm from Unicode TR39 for testing confusability of strings☆15Jan 8, 2017Updated 9 years ago
- Warn Before Quit. Previously called Meta-Q Override☆21Sep 30, 2016Updated 9 years ago
- A small collection of utilities for AssertJ.☆18May 29, 2017Updated 8 years ago
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 9 months ago
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 3 years ago