crocs-muni / eacirc

Related projects ⓘ

Alternatives and complementary repositories for eacirc

• agl / nullok
  Scripts that I used to write a blog post about section 7.24.1(2) of C11
  ☆11Updated 8 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆17Updated last year
• IAIK / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• gravity-postquantum / prune-horst
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆28Updated 6 years ago
• rveen / ogdl-c
  OGDL for C
  ☆17Updated 6 years ago
• pgoodman / cparser
  Sort-of GNU C99 Declaration Parser
  ☆11Updated 5 years ago
• NVIDIA / Forma
  DSL for stencils and image processing
  ☆13Updated 8 years ago
• GaloisInc / nasa-affirm
  Architectural Framework For Integrated Refinement Modeling
  ☆11Updated 7 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 5 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• GaloisInc / llvm-verifier
  The LLVM Symbolic Simulator, part of SAW.
  ☆21Updated 4 years ago
• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆55Updated 9 years ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated 9 months ago
• cjdrake / boolexpr
  Boolean Expressions
  ☆20Updated 6 years ago
• GaloisInc / hacrypto
  Experiments in high-assurance crypto.
  ☆47Updated last year
• KWillets / range_generator
  Some variations on Lemire's Fast Random Integer Generation in an Interval
  ☆15Updated 5 years ago
• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆15Updated last year
• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 9 years ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated 4 months ago
• jedisct1 / crypto-test-vectors
  Collection of test vectors for cryptographic operations
  ☆11Updated 8 years ago
• isislovecruft / ristretto-donna
  A fork of floodyberry's ed25519-donna modified to support the Ristretto prime-order group
  ☆13Updated 3 years ago
• jedisct1 / metrohash-c
  C version of the MetroHash function
  ☆26Updated 9 years ago
• clibs / strdup
  Drop-in replacement for strdup(3) from libc
  ☆12Updated 4 years ago
• robertdavidgraham / c10mbench
  ☆12Updated 4 years ago
• FranklinChen / rust-vs-cpp-unique_ptr
  Code accompanying blog post about the difference between Rust and C++ unique_ptr.
  ☆11Updated 9 years ago