Alternatives and similar repositories for crypto-auditing

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

• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆56Updated last week
• oxidecomputer / pki-playground
  Tool for generating non-trivial X.509 certificate chains
  ☆31Updated 2 weeks ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆130Updated 3 months ago
• wasm-signatures / design
  Initial discussions on signatures of WebAssembly modules.
  ☆18Updated 3 years ago
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆52Updated 2 months ago
• fepitre / debrebuild
  Given a buildinfo file from a Debian package, generate instructions for attempting to reproduce the binary packages built from the associ…
  ☆17Updated 3 years ago
• jedisct1 / nonce-extension
  Make AES-GCM safe to use with random nonces, for any practical number of messages.
  ☆18Updated 4 months ago
• cgwalters / git-evtag
  Extended verification for git tags
  ☆138Updated 3 weeks ago
• jedisct1 / zig-aes-gem
  AES-GEM (AES Galois Extended Mode) implementation.
  ☆13Updated 3 weeks ago
• parallaxsecond / rust-tss-esapi
  TSS 2.0 Enhanced System API (ESAPI) Rust wrapper
  ☆119Updated 2 weeks ago
• facebookincubator / antlir
  ANoTher Linux Image buildeR
  ☆104Updated this week
• oxidecomputer / illumos-gate
  An open-source Unix operating system
  ☆47Updated last week
• kpcyrd / i-probably-didnt-backdoor-this
  A practical experiment on supply-chain security using reproducible builds
  ☆160Updated 2 years ago
• kpcyrd / repro-env
  Dependency lockfiles for reproducible build environments 📦🔒
  ☆48Updated last month
• ietf-rats-wg / eat
  Entity Attestation Token IETF Draft Standard
  ☆20Updated 9 months ago
• divviup / janus
  Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.
  ☆65Updated this week
• microsoft / igvm
  ☆141Updated 2 weeks ago
• ruscur / snowpatch
  Enabling continuous integration for patch-based development workflows.
  ☆83Updated last year
• containers / libkrunfw
  A dynamic library bundling the guest payload consumed by libkrun
  ☆117Updated last month
• cyphar / libpathrs
  C-friendly API to make path resolution safer on Linux.
  ☆123Updated this week
• mlswg / mls-architecture
  MLS architecture
  ☆75Updated 10 months ago
• varlink / linux-varlink
  Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes
  ☆31Updated 7 years ago
• Sc00bz / bscrypt
  A cache hard password hash/KDF
  ☆49Updated last year
• landlock-lsm / linux
  Linux kernel - See Landlock issues
  ☆44Updated last month
• keylime / rust-keylime
  Rust implementation of the keylime agent
  ☆145Updated last week
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆104Updated 2 months ago
• twiss / source-code-transparency
  Source Code Transparency
  ☆11Updated 2 years ago
• facebook / netconsd
  Receive and process logs from the Linux kernel.
  ☆60Updated this week
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆67Updated last year
• sandfs / sandfs.github.io
  Sandboxing File System
  ☆46Updated 6 years ago