Alternatives and similar repositories for DAC

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

• comit-network / rust-secp256k1-zkp
  ☆10Updated 3 years ago
• jedisct1 / simpira384
  An AES-based 384 bit permutation.
  ☆20Updated last month
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• NASA-SW-VnV / mesa
  Actor-based Runtime Verification Tool
  ☆17Updated 2 years ago
• jedisct1 / aes-kw
  A standalone AES-KW (AES Key Wrap) implementation.
  ☆14Updated last year
• bitemyapp / ledgertheory
  ☆14Updated 10 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• mariaschett / ppltr
  A PoPuLaToR for a PeePhoLe opTimizeR
  ☆12Updated 3 years ago
• darakian / gimli
  A pure rust implementation of the gimli cipher
  ☆11Updated 3 years ago
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated last year
• post-quantum / ietf-pq-ikev2
  ☆9Updated 2 years ago
• x13a / zig-argon2
  Argon2 key derivation function in zig.
  ☆15Updated 3 years ago
• mknyszek / rust-libquantum
  Rust bindings for libquantum
  ☆11Updated 7 years ago
• iteratee / p11_260
  High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.
  ☆14Updated 4 years ago
• novifinancial / rust-curve25519-fiat
  Rust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project
  ☆12Updated 5 years ago
• denzp / rustc-llvm-proxy
  Proxy LLVM calls into Rust own shared library in runtime
  ☆33Updated last year
• alinush / ck
  A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
  ☆13Updated 2 years ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• runtimeverification / llvm-backend
  KORE to llvm translation
  ☆38Updated last week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• Bulat-Ziganshin / ECC-Benchmark
  Comparison of leading error-correcting code implementations
  ☆12Updated 2 years ago
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆29Updated last year
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• sophieschmieg / fun-with-gcm
  ☆19Updated 4 years ago
• dalek-cryptography / doppio
  Embedded curve over the Ristretto255 scalar field, for use in Bulletproofs
  ☆17Updated 5 years ago
• will62794 / logless-reconfig
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆12Updated 5 months ago
• serge-sans-paille / mapping-line-to-offset
  ☆13Updated 4 years ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• KWillets / range_generator
  Some variations on Lemire's Fast Random Integer Generation in an Interval
  ☆15Updated 5 years ago
• tjim / smpcc
  A compiler for secure multiparty computation
  ☆50Updated 8 years ago