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
- Sort-of GNU C99 Declaration Parser☆11Updated 5 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
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- Tool for generation of data from cryptoprimitives (block and stream ciphers, hash functions). Cryptoprimitives are round-reduced and the …☆14Updated 2 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆28Updated 7 years ago
- OBSOLETE, ARCHIVED mirror of the OCaml manual☆15Updated last year
- Architectural Framework For Integrated Refinement Modeling☆11Updated 7 years ago
- DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads☆17Updated last year
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 7 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- ☆12Updated 4 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- Vectorized xorshift and xoroshiro uniform/binomial RNGs☆9Updated 8 years ago
- Circuits for functions of interest to cryptography☆27Updated last year
- SAT instance generator for SHA-1☆47Updated 4 years ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 6 months ago
- Cython wrappers for Google's sparsehash library, and the murmur hash functions☆17Updated 10 years ago
- Successor to PolyBoRi☆19Updated 3 months ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- A small little tool for dumping a floating-point number in its native format☆55Updated 9 years ago
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Updated 2 years ago
- Experiments in high-assurance crypto.☆47Updated 2 years ago
- Python bindings for LZFSE☆30Updated 6 years ago
- Fast and simple algorithms for computing both LCSk and LCSk+☆21Updated 6 years ago
- probability distributions for OpenCL☆10Updated 7 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Radler☆9Updated last week