Property-based testing for Java, built on Hypothesis
☆15Jul 10, 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☆20Updated this week
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆43Updated this week
- ☆22Sep 28, 2022Updated 3 years ago
- A Material You themed JVM based agentic browser made in JCEF (Java Chromium Embedded Framework), Swing, and JavaFX.☆16Updated this week
- ☆14Aug 9, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Jun 18, 2026Updated 3 weeks ago
- The best Email validator tested with JUnit☆25Jul 16, 2025Updated 11 months ago
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- ☆22Jun 24, 2026Updated 2 weeks ago
- Mutation-guided mutation-based fuzz testing☆53Jul 13, 2024Updated 2 years ago
- ☆12Jun 14, 2023Updated 3 years ago
- Open-source interface to a user's defaults on macOS. Available as both a CLI and a library.☆15Dec 21, 2025Updated 6 months ago
- StAtutory Reasoning Assessment☆17Dec 8, 2022Updated 3 years ago
- Vibe coding moves fast — specs get skipped, tests get forgotten. NexPath CLI is a lightweight guidance system for Claude Code, Cursor, Cl…☆28Updated this week
- 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.
- OpenClaw4J is a modern intelligent Agent framework built on Java 21 and Spring AI. Inspired by the OpenClaw project，OpenClaw4J 是一个基于 Java…☆18Mar 27, 2026Updated 3 months ago
- The Cubicle model checker☆14May 29, 2026Updated last month
- Refinement type checking and inference tool for Rust☆24Updated this week
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆23Mar 29, 2026Updated 3 months ago
- ☆18Mar 5, 2023Updated 3 years ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- Translating WebAssembly into the most simple LLVM IR.☆14May 13, 2026Updated 2 months ago
- ☆13Apr 10, 2025Updated last year
- 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.
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- Agent As A Service (AaaS)☆15Jun 14, 2026Updated last month
- A Maven plugin that configures ErrorProne and NullAway for nullability checking☆35Jul 1, 2026Updated last week
- A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)☆21Sep 3, 2021Updated 4 years ago
- The home of Gradle's support for natively compiled languages☆95Mar 25, 2025Updated last year
- Topochecker, a topological model checker☆22Nov 19, 2019Updated 6 years ago
- A first-order concurrent automated theorem prover☆25Mar 25, 2026Updated 3 months ago
- The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report…☆20Updated this week
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆18Jan 5, 2015Updated 11 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.
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- Kuma a cross-chain wallet that offers seamless management and transfer of assets between EVM and WASM chains.☆12Nov 8, 2024Updated last year
- Ethereum VM Contract Simulator☆16Apr 13, 2026Updated 3 months ago
- Unified LLM API and agent runtime for Clojure, ClojureScript (and soon Clojure Dart)☆16Updated this week
- Guide for fullscreening and bypassing the now.gg time limit.☆11Feb 18, 2025Updated last year
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago