Alternatives and similar repositories for concurrency-fuzz-scheduler

Users that are interested in concurrency-fuzz-scheduler are comparing it to the libraries listed below

• generic-ebpf / generic-ebpf
  Generic eBPF runtime
  ☆150Updated 4 years ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated 2 years ago
• intel / processwatch
  ☆143Updated 3 months ago
• facebookexperimental / kperf
  TCP and TLS performance testing tool.
  ☆43Updated 2 weeks ago
• bpfverif / agni
  ☆37Updated this week
• utsaslab / crashmonkey
  CrashMonkey: tools for testing file-system reliability (OSDI 18)
  ☆201Updated 2 years ago
• mmisono / bpftrace-tetris
  Tetris in bpftrace
  ☆105Updated 4 years ago
• vbpf / prevail
  eBPF verifier based on abstract interpretation
  ☆423Updated this week
• oracle-samples / drgn-tools
  drgn helpers specific to Oracle UEK, along with custom CLI and reporting tool corelens
  ☆32Updated last week
• google / ghost-userspace
  ☆233Updated last year
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆128Updated this week
• josefbacik / systing
  A libbpf based tracer to help figure out what an application is doing.
  ☆53Updated last week
• rlane / ubpf
  Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)
  ☆97Updated 2 years ago
• sandfs / sandfs.github.io
  Sandboxing File System
  ☆46Updated 5 years ago
• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆62Updated 2 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆156Updated 3 weeks ago
• tohojo / xdp-paper
  Source text and experimental data for our paper describing XDP
  ☆142Updated 4 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• lttng / lttng-ust
  This repo is a mirror of the official lttng-ust git found at git://git.lttng.org/lttng-ust.git. LTTng-UST, the Linux Trace Toolkit Next G…
  ☆136Updated last week
• nicolasdilley / Gomela
  Tool developped for "Bounded verification of message passing concurrency in Go programs."
  ☆44Updated 2 years ago
• willfindlay / pybpf
  An opinionated BPF CO-RE library for Python3. Targets easy deployment on embedded systems with minimal dependency overhead.
  ☆17Updated 4 years ago
• rzezeski / libMicro
  ☆11Updated 5 years ago
• danobi / vmtest
  Helps run tests in virtual machines
  ☆131Updated 7 months ago
• oracle / ktls-utils
  TLS handshake utilities for in-kernel TLS consumers
  ☆40Updated this week
• awslabs / damo
  DAMON user-space tool
  ☆163Updated 11 months ago
• Netronome / nic-firmware
  CoreNIC: a flexible SR-IOV SmartNIC firmware implementation supporting BPF and stateless offloads.
  ☆99Updated 4 years ago
• antonblanchard / will-it-scale
  ☆78Updated last year
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 5 years ago
• aaupov / ebpf-bolt
  eBPF tool to collect BOLT profile
  ☆13Updated 2 months ago
• lttng / lttng-modules
  This repo is a mirror of the official lttng-modules git found at git://git.lttng.org/lttng-modules.git. The LTTng modules provide Linux k…
  ☆94Updated this week