Property-based testing for Java, built on Hypothesis
☆26Oct 22, 2026Updated this week
Alternatives and similar repositories for hegel-java
Users that are interested in hegel-java are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20Apr 22, 2026Updated 6 months ago
- OpenDST - Deterministic Simulation Testing for Java☆27Jul 16, 2026Updated 3 months ago
- ExChain is a static/dynamic analysis tool aimed at pinpointing the root cause of failures resulting from exception propagation.☆13Mar 1, 2024Updated 2 years ago
- Mutation-guided mutation-based fuzz testing☆53Jul 13, 2024Updated 2 years ago
- ☆13Apr 10, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Harry for Apache Cassandra®☆57Aug 4, 2026Updated 2 months ago
- ☆10Apr 28, 2025Updated last year
- ☆47Oct 5, 2026Updated 2 weeks ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆15Oct 8, 2026Updated 2 weeks ago
- ☆11Sep 2, 2024Updated 2 years ago
- Distributed interactive application development framework☆17Oct 13, 2020Updated 6 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 7 years ago
- 🛡️ Programmable Guardrails for LLM Applications in Java. A framework-agnostic toolkit for input/output validation, PII masking, and jail…☆16Apr 15, 2026Updated 6 months ago
- A hybrid analysis framework to aid in uncovering deserialization vulnerabilities☆15Oct 13, 2024Updated 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.
- ☆12Jun 14, 2023Updated 3 years ago
- Bechmarking Java's instanceof and its alternatives☆16May 11, 2020Updated 6 years ago
- Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf☆37Sep 7, 2026Updated last month
- Replication package of the ICSE2025 paper titled "Leveraging Large Language Models for Enhancing the Understandability of Generated Unit …☆11Feb 19, 2025Updated last year
- A set of Java utilities that we could not find in Guava or Apache Commons...or we just felt like having our own version.☆24Oct 14, 2026Updated last week
- Packages, tools, and examples for current Bend 2.0.x. (bendlang/bend).☆24Updated this week
- StAtutory Reasoning Assessment☆17Dec 8, 2022Updated 3 years ago
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆13Oct 15, 2026Updated last week
- Universal property-based testing protocol, built on Hypothesis☆95Jul 1, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A collection of utilities for Dropwizard☆18Updated this week
- ☆18Mar 5, 2023Updated 3 years ago
- Code from Michael Feathers presentation about "Tell, Don't Ask" at Craft 2019☆18Aug 14, 2019Updated 7 years ago
- Randomised, zero-boilerplate object builders☆10Apr 11, 2017Updated 9 years ago
- A benchmark for Java gadget chain detecting algorithms.☆18Jun 20, 2025Updated last year
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 3 years ago
- Java implementation of webview☆24Oct 16, 2026Updated last week
- A full stack observability platform☆29Updated this week
- HTML5 Fitness Tracking with Play!☆17Sep 13, 2020Updated 6 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.
- The Cubicle model checker☆14May 29, 2026Updated 4 months ago
- A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)☆21Sep 3, 2021Updated 5 years ago
- TLA embedding in Verus☆30Oct 12, 2026Updated last week
- Formal Verification for JavaScript Regular Expressions☆15Updated this week
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- A Material You themed JVM based agentic browser made in JCEF (Java Chromium Embedded Framework), Swing, and JavaFX.☆24Updated this week
- Checks GitHub pull requests for valid and accepted Jira tickets. Used for ICU and CLDR☆12Apr 7, 2025Updated last year