Alternatives and similar repositories for eacirc

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

• defeo / ffisom
  A research project on isomorphisms of finite fields
  ☆16Updated 7 years ago
• crocs-muni / classifyRSAkey
  ☆12Updated 4 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆20Updated last month
• crocs-muni / CryptoStreams
  Tool for generation of data from cryptoprimitives (block and stream ciphers, hash functions). Cryptoprimitives are round-reduced and the …
  ☆14Updated 2 years ago
• GaloisInc / llvm-verifier
  The LLVM Symbolic Simulator, part of SAW.
  ☆22Updated 4 years ago
• defuse / ictm
  A user-first approach to threat modeling.
  ☆17Updated 2 months ago
• gravity-postquantum / prune-horst
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆28Updated 7 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated 3 months ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 3 years ago
• formosa-crypto / formosa-mlkem
  ☆14Updated 2 weeks ago
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆18Updated 2 years ago
• lducas / BDD-note
  ☆12Updated 3 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 3 weeks ago
• armfazh / rfc7748_precomputed
  Updated! (Dec2-2019) This is a C-language software library that provides optimized implementations of the Diffie-Hellman functions known …
  ☆44Updated last year
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆23Updated 2 months ago
• sagemath / sagelib
  Git mirror of http://hg.sagemath.org/sage-main/
  ☆38Updated 13 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• GaloisInc / nasa-affirm
  Architectural Framework For Integrated Refinement Modeling
  ☆11Updated 8 years ago
• jedisct1 / hashseq
  A simple proof of work, mainly designed to mitigate DDoS attacks.
  ☆25Updated 4 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• GaloisInc / smaccmpilot-build
  An umbrella repository including all of the dependencies to build the smaccmpilot project
  ☆74Updated 7 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• pgoodman / cparser
  Sort-of GNU C99 Declaration Parser
  ☆11Updated 5 years ago
• arXiv / arxiv-auth
  Login page and core auth library
  ☆19Updated 4 months ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆28Updated 2 weeks ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆47Updated 7 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• EliorBenYosef / evolutionary-algorithms
  Evolutionary Algorithms implementations, for various (discrete & continuous) optimization problems, including for autonomous agent contro…
  ☆13Updated 9 months ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago