Benchmark Generation for Software Verifiers via Reachability-Preserving Transformations

Find and display orphaned images on a Proxmox VE Ceph Cluster

Smart and easy sync of BTRFS snapshots, locally or through SSH

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

A Github action to check repositories for REUSE compliance

Check for outdated, incorrect, and unused dependencies.

Missing firmware for Lenovo Thinkpad hardware

Generate host overview from ansible fact gathering output

Automatic BTRFS snapshots made simple

Java bindings for LLVM libraries

A presenter console with multi-monitor support for PDF files.

httpUnit tests compliance of web and net servers with desired output.

A card game with train stations and open data

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

A cd command that learns - easily navigate directories from the command line

Csmith, a random generator of C programs

Information to reproduce results from SV-COMP (MOVED, please follow the link)

Vimperator

A Vim Syntax Highlighting Plugin for CPAchecker's Specification Automata

Automatische Generierung eines Wagenreihungsplans im Stil der DB nach von der DB bereitgestellten XML-Dateien

Conversations is an open source XMPP/Jabber client for Android

C Bounded Model Checker

Style guides for Google-originated open-source projects

Zeal User Contributions - Create Feed Urls in XML

An informative and fancy bash prompt for Git users

📤 A github WebHook that emails detailed diffs of your commits.

An Exchange Format for Verification Witnesses (MOVED, please follow the link)

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

A simple kernel module to show the windows product key of your machine via ACPI

Reformats Java source code to comply with Google Java Style.