Property-based testing for Java, built on Hypothesis
☆24Oct 1, 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:
- OpenDST - Deterministic Simulation Testing for Java☆25Jul 16, 2026Updated 2 months ago
- ☆20Apr 22, 2026Updated 5 months ago
- ☆22Sep 28, 2022Updated 4 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆14Sep 26, 2026Updated last week
- Semantic Crash Bucketing☆16Sep 8, 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.
- Distributed interactive application development framework☆17Oct 13, 2020Updated 5 years ago
- Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf☆38Sep 7, 2026Updated 3 weeks ago
- Bechmarking Java's instanceof and its alternatives☆16May 11, 2020Updated 6 years ago
- Mutation-guided mutation-based fuzz testing☆53Jul 13, 2024Updated 2 years ago
- A set of Java utilities that we could not find in Guava or Apache Commons...or we just felt like having our own version.☆24Updated this week
- A Material You themed JVM based agentic browser made in JCEF (Java Chromium Embedded Framework), Swing, and JavaFX.☆24Updated this week
- A collection of utilities for Dropwizard☆18Updated this week
- ☆17Jul 11, 2025Updated last year
- Java implementation of webview☆24Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 🛡️ Programmable Guardrails for LLM Applications in Java. A framework-agnostic toolkit for input/output validation, PII masking, and jail…☆16Apr 15, 2026Updated 5 months ago
- ☆18Mar 5, 2023Updated 3 years ago
- Formal Verification for JavaScript Regular Expressions☆15Sep 25, 2026Updated last week
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 3 years ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)☆21Sep 3, 2021Updated 5 years ago
- ☆13Apr 10, 2025Updated last year
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- An open-source event store for event sourcing and event streaming.☆21Updated this week
- 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.
- Topochecker, a topological model checker☆22Nov 19, 2019Updated 6 years ago
- ☆29Mar 16, 2023Updated 3 years ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆18Jan 5, 2015Updated 11 years ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- Instrument Java bytecode with JSpecify-based null-checks☆31Jul 16, 2026Updated 2 months ago
- Open-source interface to a user's defaults on macOS. Available as both a CLI and a library.☆16Dec 21, 2025Updated 9 months ago
- #PINNING is a browser extension (currently TamperMonkey script) to improve Pinterest's desktop browsing UX☆18Aug 7, 2025Updated last year
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆59Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Efficient Sampling of SAT Solutions for Testing☆34Sep 20, 2019Updated 7 years ago
- Translating WebAssembly into the most simple LLVM IR.☆15May 13, 2026Updated 4 months ago
- Build your own S3-Select in 400 lines of Rust!☆14Mar 23, 2025Updated last year
- SeGuRu: safe GPU programming in Rust☆21Sep 25, 2026Updated last week
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Aug 17, 2026Updated last month
- Java SVG Converter Library - SVG 1.1 to PNG, PDF, PS, JPEG, and TIFF Converter☆40Updated this week
- This project is a core-library for generate POJO's from asyncApi yaml contract.☆15Jul 1, 2026Updated 3 months ago