crocs-muni / eacirc
Automatic problem solver based on circuit-like representation and genetic programming
☆13Updated 7 years ago
Alternatives and similar repositories for eacirc:
Users that are interested in eacirc are comparing it to the libraries listed below
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- Scripts that I used to write a blog post about section 7.24.1(2) of C11☆11Updated 8 years ago
- The LLVM Symbolic Simulator, part of SAW.☆22Updated 4 years ago
- Tool for generation of data from cryptoprimitives (block and stream ciphers, hash functions). Cryptoprimitives are round-reduced and the …☆13Updated 2 years ago
- Architectural Framework For Integrated Refinement Modeling☆11Updated 7 years ago
- ☆12Updated 4 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆28Updated 7 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- Circuits for functions of interest to cryptography☆27Updated last year
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Updated 2 years ago
- An implementation of the Skein hash function for ARMv7 with NEON☆14Updated 13 years ago
- DSL for stencils and image processing☆13Updated 8 years ago
- Cython wrappers for Google's sparsehash library, and the murmur hash functions☆17Updated 10 years ago
- Sort-of GNU C99 Declaration Parser☆11Updated 5 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- 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
- C++ implementation of grako parser, tuned for performance☆22Updated 10 years ago
- Program Round-off Error Certifier via Static Analysis☆50Updated 4 months ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated last week
- Computer Security Class - Department of Informatics and Telecommunications, University of Athens☆12Updated 7 years ago
- Successor to PolyBoRi☆18Updated 2 months ago
- ☆13Updated 3 years ago
- Collection of test vectors for cryptographic operations☆11Updated 9 years ago
- Experiments in high-assurance crypto.☆47Updated 2 years ago
- ☆33Updated 3 years ago
- A small tool to convert math equations written in LaTeX to equivalent C-Code.☆50Updated 11 months ago
- SAT instance generator for SHA-1☆47Updated 4 years ago
- Quick experiment to see how expensive safety is in C, for research☆12Updated 5 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago