A tool for finding assumptions on APIs with under-determined specifications.
☆59Mar 23, 2026Updated last month
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:
- A tiny Kotlin Multiplatform library that provides an Omittable type to be used in cases where the absence of a value is semantically diff…☆19May 12, 2026Updated last 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
- RV-Monitor core system code☆16Apr 26, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Apache Commons Graph (Sandbox)☆42May 15, 2026Updated last week
- LLVM pass☆23Jun 23, 2020Updated 5 years ago
- Java EditorConfig Parser☆28Dec 3, 2025Updated 5 months ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆53Jan 6, 2023Updated 3 years 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.☆16Feb 6, 2020Updated 6 years ago
- ☆37Nov 9, 2021Updated 4 years ago
- Giter8 template for a simple project that uses sbt-crossproject.☆11Jul 16, 2018Updated 7 years ago
- Interpreter for inference rules☆14May 5, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Staging area for new benchmarking infrastructure for Scala Native.☆16Nov 1, 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
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- Migrated from https://java.net/projects/yanfs/sources/svn/show☆11Mar 9, 2023Updated 3 years ago
- Adds a guard to disable ObjectInputStream.readObject☆11Dec 6, 2015Updated 10 years ago
- Jepsen tests for local filesystems, running on a single node.☆16Aug 15, 2022Updated 3 years ago
- Automatic code rewriting for AssertJ using error-prone and refaster☆24Updated this week
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 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.
- 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
- Port of Msmq to VS2013 with 64 bit support☆11Oct 26, 2016Updated 9 years ago
- A file system test suite to assess the correctness of file system implementations in terms of POSIX compliance.☆16May 6, 2026Updated 2 weeks ago
- ☆123Oct 31, 2025Updated 6 months ago
- Proof assistant for Typographical Number Theory☆16Dec 15, 2015Updated 10 years ago
- LuaJava is a scripting tool for Java☆14Feb 18, 2013Updated 13 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
- 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.
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 3 years ago
- Use SSH keys for signing and verifying data (outside of ssh servers)☆35May 2, 2023Updated 3 years ago
- IP codecs written in Java☆14Nov 13, 2025Updated 6 months ago
- A collection of Hamcrest matchers for XML documents☆19Jul 6, 2021Updated 4 years ago
- Jenkins flaky-test-handler plugin☆29May 1, 2026Updated 3 weeks ago
- This is a small demo project Using MongoDB and Spring Data☆21May 8, 2023Updated 3 years ago
- Supporting configs and tools for HBase at HubSpot☆17May 9, 2014Updated 12 years ago