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.
  ☆19Updated 5 years ago
• Bulat-Ziganshin / ECC-Benchmark
  Comparison of leading error-correcting code implementations
  ☆12Updated 2 years ago
• NASA-SW-VnV / mesa
  Actor-based Runtime Verification Tool
  ☆15Updated last year
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated last week
• digama0 / frat
  DRAT proof processor
  ☆14Updated last year
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• mariaschett / ppltr
  A PoPuLaToR for a PeePhoLe opTimizeR
  ☆12Updated 3 years ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• MathisWellmann / time_series_generator-rs
  Generate various time series, some randomly sampled, in pure rust.
  ☆15Updated 3 weeks ago
• uchicago-cs / plrg
  PL Reading Group Website
  ☆14Updated 4 months ago
• post-quantum / ietf-pq-ikev2
  ☆9Updated 2 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 10 months ago
• Bren2010 / p384
  Package p384 is an AMD64-optimized P-384 implementation.
  ☆9Updated 6 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• rvarago / kitten
  A small C++17 library inspired by Category Theory.
  ☆16Updated 2 years ago
• will62794 / logless-reconfig
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆12Updated 3 months ago
• jart / matmul
  ☆18Updated 8 months ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• darakian / gimli
  A pure rust implementation of the gimli cipher
  ☆11Updated 3 years ago
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆15Updated last year
• bitwiseshiftleft / ladder_formulas
  Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves
  ☆20Updated 4 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• iteratee / p11_260
  High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.
  ☆14Updated 3 years ago
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆29Updated last year
• serge-sans-paille / mapping-line-to-offset
  ☆13Updated 3 years ago
• romen / libsuola
  An ENGINE gluing together OpenSSL and NaCl-derived crypto.
  ☆18Updated last year
• jedisct1 / aes-kw
  A standalone AES-KW (AES Key Wrap) implementation.
  ☆13Updated last year
• sophieschmieg / fun-with-gcm
  ☆19Updated 4 years ago