Alternatives and similar repositories for crypto-auditing:

Users that are interested in crypto-auditing are comparing it to the libraries listed below

• varlink / linux-varlink
  Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes
  ☆25Updated 6 years ago
• kpcyrd / repro-env
  Dependency lockfiles for reproducible build environments 📦🔒
  ☆41Updated last week
• joholl / tpmstream
  A tool to help you understand TPM commands and responses.
  ☆41Updated 4 months ago
• fedora-iot / clevis-pin-tpm2
  Rewritten Clevis TPM2 PIN
  ☆16Updated 11 months ago
• enarx / drawbridge
  A Confidential Computing-Aware Workload Repository
  ☆10Updated this week
• landlock-lsm / linux
  Linux kernel - See Landlock issues
  ☆40Updated last week
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆47Updated this week
• jvoisin / compiler-flags-distro
  Usage of enabled-by-default hardening-related compiler flags across Linux distributions
  ☆53Updated 2 months ago
• dburgener / cascade
  A high level language for SELinux policy
  ☆59Updated last month
• uapi-group / kernel-features
  A collection of ideas for new kernel features
  ☆53Updated 6 months ago
• omnibor / omnibor-rs
  Reproducible identifiers & fine-grained build dependency tracking for software artifacts.
  ☆25Updated 2 months ago
• indygreg / linux-packaging-rs
  Rust projects related to Linux packaging
  ☆32Updated 4 months ago
• ruscur / snowpatch
  Enabling continuous integration for patch-based development workflows.
  ☆80Updated 11 months ago
• joergroedel / flocc
  The Fast Lines of Code Counter
  ☆11Updated last year
• containers / libkrunfw
  A dynamic library bundling the guest payload consumed by libkrun
  ☆87Updated 3 weeks ago
• stratis-storage / devicemapper-rs
  A Rust library for using Linux devicemapper
  ☆73Updated this week
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆84Updated 2 weeks ago
• giuseppe / easyseccomp
  DSL language to write seccomp filters
  ☆36Updated last year
• csutils / csmock
  A tool for static analysis, dynamic analysis, and formal verification of RPM packages
  ☆25Updated last week
• abrt / retrace-server
  Application for remote coredump analysis
  ☆41Updated last year
• fepitre / debrebuild
  Given a buildinfo file from a Debian package, generate instructions for attempting to reproduce the binary packages built from the associ…
  ☆17Updated 2 years ago
• facebook / netconsd
  Receive and process logs from the Linux kernel.
  ☆53Updated 2 months ago
• rpminspect / rpminspect
  RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools
  ☆57Updated last week
• ietf-rats-wg / eat
  Entity Attestation Token IETF Draft Standard
  ☆18Updated this week
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆30Updated 9 months ago
• theupdateframework / tuf-on-ci
  A TUF repository and signing tool
  ☆33Updated last week
• jedisct1 / nonce-extension
  Make AES-GCM safe to use with random nonces, for any practical number of messages.
  ☆18Updated last year
• mricon / patatt
  Patch attestation utility
  ☆29Updated last year
• jedisct1 / rust-minisign-verify
  A small Rust crate to verify Minisign signatures.
  ☆34Updated 3 months ago
• openSUSE / libpathrs
  C-friendly API to make path resolution safer on Linux.
  ☆93Updated 2 weeks ago