ACOVEA (Analysis of Compiler Options via Evolutionary Algorithm) implements a genetic algorithm to find the "best" options for compiling programs with the GNU Compiler Collection (GCC) C and C++ compilers.
☆75Jan 6, 2018Updated 8 years ago
Alternatives and similar repositories for libacovea
Users that are interested in libacovea are comparing it to the libraries listed below
Sorting:
- A GitHub Action for building and testing Racket packages☆12Jun 24, 2022Updated 3 years ago
- HMAC-SHA-256 C++11 library designed for embedded systems☆12Oct 19, 2023Updated 2 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Jun 3, 2021Updated 4 years ago
- Boost.org integer module☆20Jan 24, 2026Updated last month
- perfgrind - tools for collecting samples from Linux performance events subsystem and converting profiling data to callgrind format, allow…☆15Dec 9, 2023Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- An ENGINE gluing together OpenSSL and NaCl-derived crypto.☆18Apr 14, 2023Updated 2 years ago
- An implementation of Mike Hamburg's Ed448 (Goldilocks) curve - derived from libdecaf. This is a mirror of https://bugs.otr.im/otrv4/libgo…☆19Mar 16, 2020Updated 5 years ago
- Counterexample-Driven Genetic Programming☆18Jun 11, 2022Updated 3 years ago
- An abstract machine for analyzing Racket bytecode.☆29May 1, 2021Updated 4 years ago
- A Valgrind tool for finding redundant loads/stores☆21Feb 3, 2020Updated 6 years ago
- Provides very lightweight outcome<T> and result<T> (Boost edition)☆47Updated this week
- A model of the WebAssembly language in Redex☆21Mar 25, 2021Updated 4 years ago
- Примеры использования https://github.com/shtrih-m/fr_drv_ng☆10Feb 21, 2025Updated last year
- Symbolic Execution over Falcon IL☆30Aug 28, 2021Updated 4 years ago
- Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).☆26Nov 29, 2022Updated 3 years ago
- A lazy non-deterministic concatenative programming language☆55Aug 3, 2013Updated 12 years ago
- Compiler/source code fuzzing tool using AFL instrumentation☆126Jun 28, 2018Updated 7 years ago
- A coverage-based software testing tool☆34Dec 11, 2020Updated 5 years ago
- Cryptography library. X25519, Ed25519, qDSA, Elligator2, Ristretto, ChaCha20, Blake2, Poly1305, Scrypt, Noise protocol, File encryption i…☆34Aug 7, 2019Updated 6 years ago
- Lyrics mod for Beat Saber (Oculus Quest)☆16Oct 15, 2021Updated 4 years ago
- Routino is an application for finding a route between two points using the dataset of topographical information collected by http://www.O…☆15Feb 17, 2012Updated 14 years ago
- Advanced Integrated Circuits 2025☆13Nov 1, 2025Updated 4 months ago
- A single-file header-only C++17 boost::fiber thread pool library☆27May 17, 2019Updated 6 years ago
- DragonBall Online Client Development (Base: KR 0.50)☆10Jul 31, 2017Updated 8 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆39Feb 13, 2020Updated 6 years ago
- Verifying constant-time code with symbolic execution☆47Oct 26, 2021Updated 4 years ago
- Collection of high performance C++ containers that can be chosen as drop-in replacements for std::vector and std::set☆39Sep 22, 2025Updated 5 months ago
- Signedness-Agnostic Strided-Interval☆38Jun 21, 2019Updated 6 years ago
- A C implementation of elliptic-curve-based Direct Anonymous Attestation (DAA) signatures. Created to support the Xaptum Edge Network Fabr…☆45Aug 13, 2021Updated 4 years ago
- Automated WebRTC build scripts for Linux, Windows, Mac, Android and iOS.☆10Jul 8, 2021Updated 4 years ago
- A kinetic model for lignin pyrolysis☆11Apr 25, 2017Updated 8 years ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- FPGA-версия платы МС1201.02 и ЭВМ ДВК-3☆13Mar 2, 2021Updated 5 years ago
- A simple library focusing on demangling symbols for different programing languages☆48Dec 9, 2020Updated 5 years ago
- Datamallet is a python library which contains several helper functions and module for the common tasks in a typical data science workflow…☆11May 19, 2022Updated 3 years ago
- Not just a PDE toolbox. Adapt your ideas from a clean, modular code base with Femeko.☆15Feb 22, 2026Updated last week