Alternatives and similar repositories for arnika

Users that are interested in arnika are comparing it to the libraries listed below

• smuellerDD / leancrypto
  Lean cryptographic library usable for bare-metal environments
  ☆62Updated last week
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆463Updated 2 weeks ago
• tamarin-pq3 / tamarin-pq3
  The formal proofs for iMessage PQ3 using the Tamarin Prover
  ☆17Updated 4 months ago
• trussed-dev / trussed
  Modern Cryptographic Firmware
  ☆461Updated last month
• meichlseder / pyascon
  ☆71Updated last month
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆142Updated this week
• pq-code-package / mlkem-native
  Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203
  ☆87Updated this week
• C2SP / C2SP
  Community Cryptography Specification Project
  ☆405Updated this week
• cfrg / draft-irtf-cfrg-opaque
  The OPAQUE Asymmetric PAKE Protocol
  ☆108Updated 5 months ago
• tpm2-software / tpm2-totp
  Attest the trustworthiness of a device against a human using time-based one-time passwords
  ☆176Updated last year
• cryptobib / db
  CryptoBib Database for Developers
  ☆45Updated last month
• ProofFrog / ProofFrog
  A tool for verifying game-hopping proofs
  ☆15Updated 2 months ago
• veorq / oee
  One-end encryption, stronger than end-to-end
  ☆220Updated 2 years ago
• smuellerDD / jitterentropy-library
  Jitterentropy Library
  ☆117Updated last week
• stef / pwdsphinx
  a reference client/server and a native backend for web-extensions for Sphinx-based password storage
  ☆22Updated 2 weeks ago
• symbolicsoft / verifpal
  Cryptographic protocol analysis for real-world protocols.
  ☆53Updated 10 months ago
• ietf-wg-pquip / state-of-protocols-and-pqc
  A list of the state of IETF protocols and PQC
  ☆65Updated 3 weeks ago
• PQShield / nist-sigs-zoo
  Exploration of NIST post-quantum signatures on-ramp candidates
  ☆33Updated last month
• cryptobib / export
  CryptoBib BibTex files
  ☆59Updated last month
• CardsAgainstCryptography / CAC
  A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.
  ☆322Updated 5 years ago
• aperezdc / signify
  OpenBSD tool to sign and verify signatures on files. Portable version.
  ☆298Updated last year
• tpoeppelmann / newhope
  ☆99Updated 8 years ago
• fancy-cryptography / fancy-cryptography
  Deployments of fancy cryptography
  ☆146Updated 2 months ago
• veorq / awesome-post-quantum
  A curated list of resources about post-quantum cryptography.
  ☆324Updated last month
• newhopecrypto / newhope
  Software of the NIST Post-Quantum submission NewHope
  ☆46Updated 4 years ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆297Updated this week
• otrv4 / otrv4
  Off-the-Record Messaging Protocol version 4. -This is a draft- This repository is a mirror of http://bugs.otr.im/otrv4/otrv4
  ☆189Updated 2 years ago
• imichaelmiers / libforwardsec
  ☆57Updated 8 years ago
• oreparaz / dudect
  dude, is my code constant time?
  ☆181Updated last year
• FasterKyberDilithiumM4 / FasterKyberDilithiumM4
  ☆10Updated 3 years ago