Open-source cron job and background task monitoring service, written in Python & Django

Utility crates used in RustCrypto

Linux audit userspace repository

A pure-Rust library to work with Linux memfd

Visualize/analyze a Rust crate's internal structure

A set of crates dedicated to parsing YAML.

A strongly typed, comment-supporting YAML deserializer that deserializes YAML directly into your Rust types without constructing an intermediate tree of “abstract values.”

A configuration as code language with rich validation and tooling.

The /etc/resolv.conf file parser in rust

Security advisory database for Rust crates published through crates.io

Much better than a .dotfiles repo

High-level tracing language for Linux

A Rust library for the Linux Landlock sandboxing feature

Definitional implementation of Cedar language and utilities for DRT

Lean 4 programming language and theorem prover

A markup-based typesetting system that is powerful and easy to learn.

A library for integration-testing against docker containers from within Rust.

DNS resolution via glibc for rust

Rayon: A data parallelism library for Rust

Low-level unprivileged sandboxing tool used by Flatpak and similar projects

Kani Rust Verifier

Concurrent decision diagram framework written in Rust

Cargo helper command to generate a binary RPM package

A tool for secrets management, encryption as a service, and privileged access management

The SPIFFE Project

Implementation of the Cedar Policy Language