Alternatives and similar repositories for DAC

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

• Bulat-Ziganshin / ECC-Benchmark
  Comparison of leading error-correcting code implementations
  ☆12Updated 2 years ago
• comit-network / rust-secp256k1-zkp
  ☆10Updated 3 years ago
• blockblaz / ssz.zig
  A ziglang implementation of the SSZ serialization protocol
  ☆25Updated last month
• NASA-SW-VnV / mesa
  Actor-based Runtime Verification Tool
  ☆18Updated 2 years ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• denzp / rustc-llvm-proxy
  Proxy LLVM calls into Rust own shared library in runtime
  ☆34Updated last year
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• post-quantum / ietf-pq-ikev2
  ☆9Updated 2 years ago
• sophieschmieg / fun-with-gcm
  ☆19Updated 5 years ago
• argumentcomputer / FFaCiL.lean
  Finite Fields and Curves in Lean
  ☆13Updated 2 years ago
• digama0 / frat
  DRAT proof processor
  ☆14Updated 2 years ago
• MathisWellmann / time_series_generator-rs
  Generate various time series, some randomly sampled, in pure rust.
  ☆18Updated 4 months ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• iteratee / p11_260
  High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.
  ☆14Updated 4 years ago
• jedisct1 / simpira384
  An AES-based 384 bit permutation.
  ☆21Updated 2 months ago
• runtimeverification / pyk
  Python tools for the K Framework
  ☆13Updated last year
• nano-o / PaxosMadeSimple
  A TLA+ formalization of the algorithm described in "Paxos Made Simple"
  ☆21Updated 5 months ago
• mariaschett / ppltr
  A PoPuLaToR for a PeePhoLe opTimizeR
  ☆12Updated 3 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• burkh4rt / Mercurial-Signatures
  We implement Delegatable Anonymous Credentials using Mercurial Signatures
  ☆21Updated 3 years ago
• tjim / smpcc
  A compiler for secure multiparty computation
  ☆50Updated 8 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆29Updated last year
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 6 years ago
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆22Updated last week
• solegga / computer-security-class
  Computer Security Class - Department of Informatics and Telecommunications, University of Athens
  ☆12Updated 8 years ago
• crocs-muni / DiSSECT
  Distinguisher of Standard & Simulated Elliptic Curves via Traits.
  ☆18Updated last year
• runtimeverification / beacon-chain-verification
  ☆18Updated 2 years ago
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆37Updated last year
• rozbb / ct-merkle
  An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)
  ☆36Updated 3 months ago