☆36Jun 5, 2025Updated 9 months ago
Alternatives and similar repositories for DCC888
Users that are interested in DCC888 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A benchmark game for guessing the hottest point of a program☆17Feb 24, 2026Updated last month
- A set of tools to extract library signature of binary programs at runtime.☆28Jan 21, 2026Updated 2 months ago
- ☆17Aug 6, 2025Updated 7 months ago
- A tool for synthesizing Verilog programs☆112Aug 25, 2025Updated 7 months ago
- Clone of the LLVM project with MLIR repo integrated as a top-level subproject☆12Dec 11, 2022Updated 3 years ago
- A library for code transformations with guaranteed legality☆18Updated this week
- ☆22Oct 30, 2024Updated last year
- ☆12Nov 10, 2025Updated 4 months ago
- This repository contains passive skill tree json data for Path of Exile☆14Aug 30, 2024Updated last year
- A Complete Infrastructure to the Design and Exploration of Optimization Sequences☆12Dec 18, 2022Updated 3 years ago
- Rewrite the Problem-Based Benchmark Suite in Elixir☆14Dec 20, 2022Updated 3 years ago
- SBLP 2025 MLIR Tutorial☆72Feb 8, 2026Updated last month
- Automatic conversion of call by value into call by need in the LLVM IR.☆61Oct 15, 2023Updated 2 years ago
- ☆13Apr 27, 2022Updated 3 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 3 months ago
- A tool to extract complexities and costs from programs and kernels☆17Apr 19, 2023Updated 2 years ago
- 🏔 Highlight group manipulation for Vim☆16Jan 24, 2025Updated last year
- Let's rethink how we interact with Agda☆18Nov 18, 2022Updated 3 years ago
- A domain specific language to define access policies.☆14Dec 1, 2021Updated 4 years ago
- An OpenQASM source-to-source Compiler.☆19Feb 25, 2019Updated 7 years ago
- Function Merging & Branch Fusion☆19Apr 5, 2019Updated 6 years ago
- Run llvm test-suite benchmarks☆14May 10, 2021Updated 4 years ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆130Jan 21, 2026Updated 2 months ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- ☆13May 25, 2018Updated 7 years ago
- Basic Compilation Log support☆40Updated this week
- LLVM test suite benchmarks (260 benchmarks - 36 test suites)☆20Feb 2, 2022Updated 4 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12May 12, 2020Updated 5 years ago
- Compiler Club information☆22Oct 15, 2017Updated 8 years ago
- Lightning fast hash functions using hand-tuned WebAssembly binaries☆15Apr 2, 2024Updated last year
- Lambda Calculus compiler for Codewars☆18Oct 3, 2025Updated 5 months ago
- A JIT compiler implemented with MLIR/LLVM for faster query processing in SQLite☆20Jan 3, 2023Updated 3 years ago
- Automatic Generation of Benchmarks to Stress-Test Computing Systems.☆42Feb 24, 2026Updated last month
- IIT Madras OpenMP (IMOP) compiler framework is an open-source, source-to-source, OpenMP-aware compiler for OpenMP (and serial) C programs…☆26Oct 9, 2024Updated last year
- A framework to analyze a space formed by the combination of program encodings, obfuscation passes and stochastic classification models.☆36Aug 1, 2023Updated 2 years ago
- ☆26Aug 30, 2024Updated last year
- Set up a specific version of Agda for your GitHub Actions workflow.☆29Nov 24, 2025Updated 4 months ago
- Web-based nap calculator - Given preferred wake windows and desired bedtime, generates suggestions on when to cap a nap and when to start…☆10Apr 18, 2021Updated 4 years ago
- Writing eBPF programs with Elixir!☆293Jan 14, 2026Updated 2 months ago