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.

Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).

Linux lsof replacement to list open file descriptors for processes

A neurosymbolic framework for vulnerability detection in code

Sort and Permute lines in whole file or selection.

Unsafely fast hashing algorithm 📈

draw.io is a JavaScript, client-side editor for general diagramming.

A macOS menu bar app that enables system-wide navigation functionality for side buttons on third-party mice.

Developer environments you can take with you