Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf
☆38Sep 7, 2026Updated 3 weeks ago
Alternatives and similar repositories for concurrency-fuzz-scheduler
Users that are interested in concurrency-fuzz-scheduler 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
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- Graphviz for Kotlin Multiplatform☆12Mar 26, 2024Updated 2 years ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- ☆20Apr 22, 2026Updated 5 months 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.
- ☆23Jul 4, 2025Updated last year
- A tool to render a pie chart of memory usage (bytes_memlock) of BPF maps on the system 🥧☆21Jun 19, 2024Updated 2 years ago
- A collaborative bibliography of papers related to property-based testing☆32Updated this week
- A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.☆22Jun 26, 2026Updated 3 months ago
- Tutorial on modeling with TLA+☆24Sep 15, 2026Updated 2 weeks ago
- Messing around with XDP and eBPF☆20Oct 7, 2021Updated 4 years ago
- Hackers' mails management tool☆68Sep 15, 2026Updated 2 weeks ago
- Linux kernel images for router7☆13Sep 26, 2026Updated last week
- c-binding free API for golang to communicate with the socket subsystem of netfilter☆13Aug 22, 2026Updated last month
- 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.
- Forward git credential requests from Docker container to host☆11Sep 25, 2026Updated last week
- https://openjdk.org/projects/tsan☆27Updated this week
- A collection of ideas for new kernel features☆71Updated this week
- Litmus testing tool for Kotlin/Native☆71Apr 22, 2025Updated last year
- Utility to convert flowspec rules (extracted from bird) to an XDP program☆16Jun 8, 2025Updated last year
- The VerCors verification toolset for verifying parallel and concurrent software☆112Updated this week
- A set of platform-agnostic tools to measure the performance of various BPF helper functions.☆32Updated this week
- Proof theory seminar☆35Apr 6, 2021Updated 5 years ago
- Package networkd enables control of systemd-networkd using D-Bus. MIT Licensed.☆16Aug 12, 2023Updated 3 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.
- Intermediate Memory Model (IMM) and compilation correctness proofs for it☆31Feb 5, 2025Updated last year
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆44Sep 4, 2013Updated 13 years ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- Typecast is an experimental python library for defining casts between classes.☆13Oct 14, 2016Updated 9 years ago
- Solver for Constrained Horn Clauses☆52Updated this week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆146Updated this week
- Yet another awesome fuzzers list☆15Oct 25, 2024Updated last year
- Examples for cgroup socket ingress/egress BPF filters with systemd☆15Jul 24, 2020Updated 6 years ago
- A deterministic, fuzzable pthread implementation☆51May 7, 2023Updated 3 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.
- [WIP] Open-source alternative to Antithesis.☆65Jun 9, 2026Updated 3 months ago
- The Cubicle model checker☆14May 29, 2026Updated 4 months ago
- Rust support for qcow2 virtual disk images.☆14Mar 26, 2024Updated 2 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 years ago
- XDP Virtual Server - an eBPF load balancer implementation and supporting Go library☆25Aug 30, 2026Updated last month
- Demo Repository for eBPF XDP Unit Test☆12Oct 24, 2024Updated last year
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆37Dec 16, 2021Updated 4 years ago