Alternatives and similar repositories for perun

Users that are interested in perun are comparing it to the libraries listed below

• CentOS / centos-bootc
  Create and maintain base bootable container images from Fedora ELN and CentOS Stream packages
  ☆47Updated last year
• goblint / analyzer
  Static analysis framework for C
  ☆231Updated this week
• t184256 / fingertip
  Control VMs, containers and other machines with Python, leverage live snapshots
  ☆23Updated 2 weeks ago
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆319Updated last week
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆277Updated last week
• composefs / composefs
  The reliability of disk images, the flexibility of files
  ☆614Updated 3 weeks ago
• coccinelle / coccinelle
  Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
  ☆705Updated 2 months ago
• rolandobrondolin / DEEP-mon
  an eBPF-based monitoring tool to measure container resource usage, power consumption, network I/O, and file I/O
  ☆49Updated 5 years ago
• crc-org / crc-cloud
  Disposable OpenShift instances on cloud in minutes
  ☆34Updated last month
• flightctl / flightctl
  ☆114Updated this week
• csartifacts / resources
  Resources on the Artifact Evaluation (AE) Process
  ☆17Updated 5 years ago
• bpfverif / agni
  ☆48Updated 2 weeks ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆72Updated 2 weeks ago
• SUSE / phoebe
  Phoebe
  ☆90Updated 4 years ago
• oskutka / rhlp
  ☆25Updated 3 years ago
• josefbacik / systing
  A libbpf based tracer to help figure out what an application is doing.
  ☆98Updated this week
• skozina / cda-slides
  Slides for the BCA
  ☆14Updated last year
• konflux-ci / build-definitions
  ☆29Updated this week
• eclipse-bluechi / bluechi
  Eclipse BlueChi is a systemd service controller intended for multi-node environments with a predefined number of nodes and with a focus o…
  ☆150Updated last week
• konflux-ci / konflux-ci
  Integration and release of Konflux-CI
  ☆98Updated this week
• sa-mw-dach / podium
  ☆49Updated 5 years ago
• vbpf / prevail
  eBPF verifier based on abstract interpretation
  ☆447Updated last week
• red-hat-storage / errata-tool
  Modern Python API to Red Hat's Errata Tool
  ☆33Updated 3 months ago
• containers / omlmd
  OCI Artifact for ML model & metadata
  ☆79Updated 2 weeks ago
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆78Updated this week
• m-czernek / acrobot
  A simple acronym bot for Google Chat
  ☆32Updated last year
• osbuild / rhel-for-edge-demo
  RHEL for Edge Demo
  ☆64Updated 10 months ago
• osbuild / osbuild
  Build-Pipelines for Operating System Artifacts
  ☆257Updated this week
• minimization / content-resolver-input
  Configuration files for Feedback Pipeline
  ☆23Updated this week
• uw-unsat / exoverifier
  ☆18Updated 2 years ago