parttimenerd / concurrency-fuzz-schedulerView external linksLinks
Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf
☆35Jan 15, 2026Updated last month
Alternatives and similar repositories for concurrency-fuzz-scheduler
Users that are interested in concurrency-fuzz-scheduler are comparing it to the libraries listed below
Sorting:
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- ☆13Apr 10, 2025Updated 10 months ago
- ☆22Nov 4, 2025Updated 3 months ago
- Java-centric embedded storage framework☆16Dec 26, 2025Updated last month
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 2 years ago
- Flamegraph (Iciclegraph) swing component☆22Feb 10, 2026Updated last week
- Messing around with XDP and eBPF☆20Oct 7, 2021Updated 4 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆87Updated this week
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- ☆21Oct 25, 2021Updated 4 years ago
- BPF CI☆24Feb 10, 2026Updated last week
- ustat - an unified system stats collector tool☆22Feb 5, 2018Updated 8 years ago
- A tool to help programmers debug and analyze Linux Kernel BPF verification failures.☆84Dec 3, 2025Updated 2 months ago
- ☆30May 2, 2019Updated 6 years ago
- A collection of ideas for new kernel features☆65Feb 8, 2026Updated last week
- https://openjdk.org/projects/tsan☆27Feb 10, 2026Updated last week
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated last year
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆38Sep 4, 2013Updated 12 years ago
- Tooling for encrypting certain configuration parameter values in dropwizard apps☆27Updated this week
- XDP cpumap redirect combined with TC bandwidth shaping☆73Jan 10, 2025Updated last year
- Prototype implementation of Service-Level Fault Injection Testing in Python.☆72Nov 5, 2022Updated 3 years ago
- Intermediate Memory Model (IMM) and compilation correctness proofs for it☆29Feb 5, 2025Updated last year
- loxilb ebpf sub-module☆33Jan 6, 2026Updated last month
- Systemd service to check, if the system does come up correct after an update☆32Jan 5, 2026Updated last month
- Proof theory seminar☆36Apr 6, 2021Updated 4 years ago
- Pure Java SQLite JDBC Driver☆37Feb 2, 2026Updated 2 weeks ago
- A command line interface tool to compute statistics from a file or the command line.☆39Feb 8, 2021Updated 5 years ago
- A Java configuration, shell, and general utility toolkit☆33Feb 11, 2025Updated last year
- Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code☆87Updated this week
- HashiCorp Vault Connector for Mule 4☆12May 23, 2024Updated last year
- High speed filtering of arbitrarily large JSON documents☆10Apr 24, 2023Updated 2 years ago
- JavaSMT - Unified Java API for SMT solvers.☆230Updated this week
- Make Git monorepos like a boss.☆13Dec 18, 2025Updated last month
- Automation tool for testing C* OSS that assembles cassandra-diff, nosqlbench, fqltool☆11Mar 20, 2023Updated 2 years ago
- Forward git credential requests from Docker container to host☆11Feb 7, 2026Updated last week
- RHEL for Edge Downstream CI and Test☆11Updated this week
- Official Doks core integration for the Doks theme.☆13Updated this week
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated last week
- Official website☆12Oct 21, 2022Updated 3 years ago