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

Rust client for communicating with services located by DNS SRV records.

macOS app to create standard or customized configuration profiles.

Send syslog messages from Rust

Linux PAM (Pluggable Authentication Modules for Linux) project

Simplified PAM module creation in Rust

Make Debian packages directly from Rust/Cargo projects

AD CS protocol crates for Rust

Tmux Plugin Manager

Persists tmux environment across system restarts.

A tool that facilitates building OCI images.

PCB tooling by Diode Computers, Inc.

A simple and secure DNS client crate for Rust.

Advanced configuration options for sockets.