Alternatives and similar repositories for DAC:

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

• post-quantum / ietf-pq-ikev2
  ☆9Updated 2 years ago
• darakian / gimli
  A pure rust implementation of the gimli cipher
  ☆11Updated 3 years ago
• jedisct1 / simpira384
  An AES-based 384 bit permutation.
  ☆19Updated 5 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• armfazh / flor-sidh-x64
  This software library is a C-language + optimized assembly code that supports an instance of the Super-Singular Isogeny Diffie-Hellman (S…
  ☆9Updated 6 years ago
• iteratee / p11_260
  High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.
  ☆14Updated 3 years ago
• rtosholdings / riptide_cpp
  Multihreaded 64 bit c++ files for processing numba arrays
  ☆17Updated last year
• jart / matmul
  ☆18Updated 9 months ago
• Bren2010 / p384
  Package p384 is an AMD64-optimized P-384 implementation.
  ☆9Updated 6 years ago
• mariaschett / ppltr
  A PoPuLaToR for a PeePhoLe opTimizeR
  ☆12Updated 3 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
  ☆16Updated 2 years ago
• jedisct1 / aes-kw
  A standalone AES-KW (AES Key Wrap) implementation.
  ☆13Updated last year
• rusnikola / wfe
  Wait-Free Eras (PPoPP '20)
  ☆10Updated 5 years ago
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• sophieschmieg / fun-with-gcm
  ☆19Updated 4 years ago
• bor0 / dafny-tutorial
  Exercises for the Dafny Tutorial
  ☆11Updated 6 years ago
• janestreet / ocaml_intrinsics
  Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…
  ☆34Updated last week
• Techno-coder / lucent
  A transparent systems programming language. Check out the next-prototype branch! On indefinite hiatus.
  ☆11Updated 2 years ago
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆29Updated last year
• SabaEskandarian / PunchCard
  A privacy-preserving digital version of punch cards used in store loyalty programs
  ☆10Updated 4 years ago
• runtimeverification / pyk
  Python tools for the K Framework
  ☆13Updated last year
• will62794 / logless-reconfig
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆12Updated 4 months ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• KWillets / range_generator
  Some variations on Lemire's Fast Random Integer Generation in an Interval
  ☆15Updated 5 years ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 6 months ago
• scipr-lab / bace
  C++ library for evaluating arithmetic circuits on batches of inputs
  ☆15Updated 8 years ago
• MathisWellmann / time_series_generator-rs
  Generate various time series, some randomly sampled, in pure rust.
  ☆16Updated last month