Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf
☆36Jan 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:
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- ☆13Apr 10, 2025Updated 10 months ago
- ☆22Nov 4, 2025Updated 4 months ago
- Flamegraph (Iciclegraph) swing component☆22Updated this week
- Messing around with XDP and eBPF☆20Oct 7, 2021Updated 4 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆91Updated this week
- Time-related test utilities for Java☆22Mar 1, 2026Updated last week
- A set of platform-agnostic tools to measure the performance of various BPF helper functions.☆28Feb 27, 2026Updated last week
- A tool to render a pie chart of memory usage (bytes_memlock) of BPF maps on the system 🥧☆21Jun 19, 2024Updated last year
- ☆21Oct 25, 2021Updated 4 years ago
- BPF CI☆24Feb 24, 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.☆88Dec 3, 2025Updated 3 months ago
- A collection of ideas for new kernel features☆63Feb 8, 2026Updated last month
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated last year
- The Silence of Intelligence — A comprehensive analysis of Anthropic CEO Dario Amodei's philosophy on Scaling Laws, AI safety, and the fut…☆18Mar 1, 2026Updated last week
- jmc: Java Model Checker☆37Sep 30, 2025Updated 5 months ago
- Tool for extracting Linux kernel configurations from many distributions & displaying a web UI☆36Updated this week
- Tooling for encrypting certain configuration parameter values in dropwizard apps☆28Updated 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.☆73Nov 5, 2022Updated 3 years ago
- Intermediate Memory Model (IMM) and compilation correctness proofs for it☆29Feb 5, 2025Updated last year
- loxilb ebpf sub-module☆32Jan 6, 2026Updated 2 months ago
- drgn helpers specific to Oracle UEK, along with custom CLI and reporting tool corelens☆36Feb 27, 2026Updated last week
- ☆16Sep 22, 2014Updated 11 years ago
- Pure Java SQLite JDBC Driver☆38Mar 2, 2026Updated last week
- ☆28Dec 9, 2021Updated 4 years 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☆33Updated this week
- ☆12Aug 2, 2024Updated last year
- HashiCorp Vault Connector for Mule 4☆12May 23, 2024Updated last year
- High speed filtering of arbitrarily large JSON documents☆10Feb 24, 2026Updated 2 weeks ago
- Simple EventStore based on PostgreSQL☆44Updated this week
- Specula: A framework for finding deep bugs in system code using TLA+☆94Updated this week
- A command-line tool that uses AWS KMS to encrypt secrets once, and decrypts them from multiple AWS regions.☆13Apr 11, 2018Updated 7 years ago
- RHEL for Edge Downstream CI and Test☆11Updated this week
- ☆12Jul 10, 2023Updated 2 years ago
- Plugin for autocomplete using trix editor☆17Aug 18, 2017Updated 8 years ago
- Dynatrace FM-Index library☆15Nov 11, 2025Updated 3 months ago