Tuning Assistant for Floating point to Fixed point Optimization
☆19Mar 26, 2022Updated 3 years ago
Alternatives and similar repositories for TAFFO
Users that are interested in TAFFO are comparing it to the libraries listed below
Sorting:
- Template Repository for Xilinx HLS design flow☆12Nov 18, 2021Updated 4 years ago
- Starlight: A Kernel Optimizer for GPU Processing☆16Jan 10, 2024Updated 2 years ago
- A binary instrumentation tool to analyze load instructions in any off-the-shelf x86(-64) program. Described by Bera et al. in https://arx…☆23Jun 30, 2024Updated last year
- Image Registration on FPGAs☆21Aug 28, 2022Updated 3 years ago
- ☆24Dec 1, 2020Updated 5 years ago
- LLVM Assembler adding Debug Information at IR Level.☆33Oct 31, 2018Updated 7 years ago
- ☆44Feb 6, 2025Updated last year
- [FPGA'21] Microbenchmarks for Demystifying the Memory System of Modern Datacenter FPGAs for Software Programmers☆31Dec 16, 2021Updated 4 years ago
- A OpenCL-based FPGA benchmark suite for HPC☆37Jan 29, 2026Updated last month
- ETHZ Heterogeneous Accelerated Compute Cluster.☆38Oct 7, 2025Updated 4 months ago
- los14.1 with stock kernel☆11Jan 11, 2019Updated 7 years ago
- ☆40Mar 26, 2020Updated 5 years ago
- SIGPLAN website☆13Updated this week
- This repo contains instructions, benchmarks, and files for running user space networking in gem5 simulator.☆11Aug 1, 2024Updated last year
- FPGA version of Rodinia in HLS C/C++☆40Dec 24, 2020Updated 5 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- ☆12Apr 15, 2025Updated 10 months ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated 10 months ago
- ☆11Dec 23, 2025Updated 2 months ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- Encryption Core Library for Nyan Chat☆10Mar 5, 2019Updated 6 years ago
- Resources from my class on computer architecture design☆10Apr 25, 2018Updated 7 years ago
- Arch Linux ARM for Xilinx Zynq UltraScale+ devices☆13Jul 21, 2024Updated last year
- Interesting papers☆11Jun 22, 2024Updated last year
- ☆15May 6, 2021Updated 4 years ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- Capture the real time AQIs (PM2.5, PM10, etc) through API interface rather than web crawler. 通过API接口（而不是爬虫）获取实时AQI气象数据（PM2.5，PM10等），并将该脚…☆13Jul 23, 2018Updated 7 years ago
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- Modify ELF executables☆16Mar 5, 2019Updated 6 years ago
- Research Artifact For Our Submission To VLDB☆10Oct 27, 2021Updated 4 years ago
- ☆13Jan 24, 2024Updated 2 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- A blog engine. Code for roselia.moe/blog☆10Feb 11, 2023Updated 3 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- Retargetable ML compilers for the twenty-first century!☆13Apr 22, 2025Updated 10 months ago