A tool for finding assumptions on APIs with under-determined specifications.
☆61Mar 23, 2026Updated 6 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:
- ☆19May 20, 2022Updated 4 years ago
- A tiny Kotlin Multiplatform library that provides an Omittable type to be used in cases where the absence of a value is semantically diff…☆22Updated this week
- ☆32Aug 30, 2026Updated 3 weeks ago
- Gradle plugin based upon maven-modernizer-plugin☆13Jun 9, 2020Updated 6 years ago
- Testing Configuration Changes in Context to Prevent Production Failures☆34Dec 11, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Apache Commons Graph (Sandbox)☆45Updated this week
- The Boa language reference compiler.☆34Dec 3, 2024Updated last year
- A set of extensions to Okio, check out https://saveourtool.github.io/okio-extras/☆13Jan 3, 2025Updated last year
- Java EditorConfig Parser☆31Dec 3, 2025Updated 9 months ago
- Giter8 template for a simple project that uses sbt-crossproject.☆11Jul 16, 2018Updated 8 years ago
- Interpreter for inference rules☆14May 5, 2018Updated 8 years ago
- Jukeboxes process records. This Java Annotation Processor automatically creates Builders for JEP 359 Records (Preview). Needs Java 14.☆16Feb 6, 2020Updated 6 years ago
- ☆39Nov 9, 2021Updated 4 years ago
- Simple and straight forward interfaces to the various shipping web services☆10Apr 20, 2012Updated 14 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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☆21Mar 27, 2026Updated 5 months ago
- Collection of simple for JabRef issues. Please submit PRs to https://github.com/jabRef/jabref/.☆15Updated this week
- (elastic) cuckoo hashing☆17Jun 20, 2020Updated 6 years ago
- ☆11Nov 14, 2022Updated 3 years ago
- CrashTuner(SOSP2019)☆30Aug 28, 2019Updated 7 years ago
- Jepsen tests for local filesystems, running on a single node.☆16Aug 15, 2022Updated 4 years ago
- ☆10Feb 19, 2017Updated 9 years ago
- Bioinformatics benchmarking package, based on the original BioBench developed by Albayraktaroglu et al, 2005☆13Dec 13, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Jenkins flaky-test-handler plugin☆29Sep 12, 2026Updated last week
- Proof assistant for Typographical Number Theory☆16Dec 15, 2015Updated 10 years ago
- https://hub.docker.com/r/clangbuiltlinux/ubuntu/☆12Jan 20, 2021Updated 5 years ago
- Migrated from https://java.net/projects/yanfs/sources/svn/show☆11Mar 9, 2023Updated 3 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- Automatic code rewriting for AssertJ using error-prone and refaster☆26Updated this week
- List of Errorprone Checkers and Plugins☆16Jul 8, 2020Updated 6 years ago
- USTC Software 2016☆13Dec 3, 2016Updated 9 years ago
- LuaJava is a scripting tool for Java☆14Feb 18, 2013Updated 13 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Preliminary implementation for Rules in TestNG☆13Jun 10, 2011Updated 15 years ago
- ☆124May 19, 2026Updated 4 months ago
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 4 years ago
- A small collection of utilities for AssertJ.☆18May 29, 2017Updated 9 years ago
- A collection of Hamcrest matchers for XML documents☆21Jul 6, 2021Updated 5 years ago
- IP codecs written in Java☆14Nov 13, 2025Updated 10 months ago
- A Reading List of System Configuration Management☆58Aug 24, 2024Updated 2 years ago