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
- Scripts that I used to write a blog post about section 7.24.1(2) of C11☆11Updated 8 years ago
- A research project on isomorphisms of finite fields☆16Updated 6 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 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
- Python bindings for LZFSE☆30Updated 6 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- A small little tool for dumping a floating-point number in its native format☆55Updated 9 years ago
- Sort-of GNU C99 Declaration Parser☆11Updated 5 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆28Updated 7 years ago
- Automatic differentiation for NumPy☆42Updated 11 years ago
- DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads☆17Updated 2 years ago
- SAT instance generator for SHA-1☆47Updated 4 years ago
- Architectural Framework For Integrated Refinement Modeling☆11Updated 7 years ago
- Cython wrappers for Google's sparsehash library, and the murmur hash functions☆17Updated 10 years ago
- Successor to PolyBoRi☆19Updated 4 months ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- The LLVM Symbolic Simulator, part of SAW.☆22Updated 4 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- ☆33Updated 3 years ago
- Fast and simple algorithms for computing both LCSk and LCSk+☆21Updated 6 years ago
- TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.☆34Updated 2 years ago
- Git mirror of http://hg.sagemath.org/sage-main/☆38Updated 12 years ago
- An implementation of the OPAQUE password-authenticated key exchange protocol☆10Updated 5 months ago
- A Graph Extraction and Matching C++ software☆8Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆17Updated 8 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 9 years ago
- OGDL for C☆17Updated 7 years ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆16Updated 12 years ago
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Updated 2 years ago
- Materials accompanying "Implementing an Elliptic Curve in Go"☆13Updated 7 years ago