OpenDST - Deterministic Simulation Testing for Java
☆27Jul 16, 2026Updated 3 months ago
Alternatives and similar repositories for opendst
Users that are interested in opendst are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Property-based testing for Java, built on Hypothesis☆26Updated this week
- ☆20Apr 22, 2026Updated 6 months ago
- ☆13Apr 10, 2025Updated last year
- 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
- ☆22Sep 28, 2022Updated 4 years 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.
- Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf☆37Sep 7, 2026Updated last month
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- A data structure processing library - validation, response or message generation, etc.; inspired by Metis.☆17Oct 13, 2016Updated 10 years ago
- A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.☆23Jun 26, 2026Updated 3 months ago
- Tutorial on modeling with TLA+☆24Sep 15, 2026Updated last month
- verification toolchain for TypeScript (Tech Preview)☆121Oct 16, 2026Updated last week
- A controlled concurrency testing framework for the JVM☆495Jul 17, 2026Updated 3 months ago
- JReduce is a tool to reduce Java ByteCode☆13Oct 12, 2021Updated 5 years ago
- 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.
- Greybox Fuzzing of Distributed Systems (CCS'23)☆60Dec 5, 2023Updated 2 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆15Oct 8, 2026Updated 2 weeks ago
- GUI for running the SPIN model checker☆20Nov 22, 2022Updated 3 years ago
- A collaborative bibliography of papers related to property-based testing☆37Oct 14, 2026Updated last week
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 7 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 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
- [NDSS'24] MOCK: Optimizing Kernel Fuzzing Mutation with Context-aware Dependency☆24Dec 21, 2024Updated last year
- ☆12Jun 14, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Mutation-guided mutation-based fuzz testing☆53Jul 13, 2024Updated 2 years ago
- StAtutory Reasoning Assessment☆17Dec 8, 2022Updated 3 years ago
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆13Oct 15, 2026Updated last week
- AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software☆19Sep 15, 2026Updated last month
- a friendly implementation of nyx ontop of firecracker instead of QEMU. Easier to use & cleaner code☆36Jan 20, 2026Updated 9 months ago
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- Anta is Antithesis design system☆18Oct 17, 2026Updated last week
- ☆18Mar 5, 2023Updated 3 years ago
- ☆17Jul 11, 2025Updated last year
- 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.
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆37Dec 16, 2021Updated 4 years ago
- A deterministic, fuzzable pthread implementation☆52May 7, 2023Updated 3 years ago
- 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
- A stable hashing algorithm used by rustc: cross-platform, deterministic, not secure☆12Jul 26, 2025Updated last year
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- What makes Paxos tick?☆11Apr 16, 2025Updated last year