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
Alternatives and similar repositories for Grafter
Users that are interested in Grafter are comparing it to the libraries listed below
Sorting:
- Search-based compiler for high-performance DSP programming☆71Oct 29, 2024Updated last year
- parallel graph partitioning using recursive spectral bisection (RSB)☆23Jun 10, 2025Updated 8 months ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 6 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Jul 6, 2017Updated 8 years ago
- Attribute grammar Based Language Extensions for C☆42Feb 20, 2026Updated 2 weeks ago
- 智能小车☆10Aug 20, 2015Updated 10 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- ☆20May 24, 2025Updated 9 months ago
- Symbolic Execution for WebAssembly☆10Jun 10, 2018Updated 7 years ago
- SIGPLAN website☆13Updated this week
- A set of computer vision tools☆11Aug 18, 2015Updated 10 years ago
- ☆11Sep 5, 2019Updated 6 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆46Jul 15, 2019Updated 6 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 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
- Bank style session timeout example☆10Mar 28, 2015Updated 10 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Aug 3, 2017Updated 8 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
- The implementation of an SMTLib dialect for xDSL☆17Feb 27, 2026Updated last week
- documentation for statsmodels - currently temporary structure and location☆13Jan 14, 2026Updated last month
- A Centralized Wiki for CTF Organization☆10Sep 22, 2021Updated 4 years ago
- Goal: a website to automatically train and certify compiler researchers and developers☆10Nov 24, 2019Updated 6 years ago
- Resources from my class on computer architecture design☆10Apr 25, 2018Updated 7 years ago
- Lydia: Who's Your Enemy in the Dark Forrest☆13Aug 24, 2025Updated 6 months ago
- SCI期刊信息爬虫☆14Jan 6, 2019Updated 7 years ago
- （从Google Code迁移过来的）这是我们的学生作业，一个简单的PL/0编译器，不过，编译只到中间代码为止，这是因为我们的汇编水平还没有到达能编写完整应用程序的水平。所以，仅仅是将PL/0代码编译成中间代码——一种很像汇编的四元式，然后请使用Interpreter解释运…☆10Mar 13, 2015Updated 10 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- Modular decomposition of directed graphs☆13Apr 2, 2025Updated 11 months ago
- ☆10Apr 16, 2017Updated 8 years ago
- ☆10Oct 13, 2023Updated 2 years ago
- Play-with-compiler sandbox based on PWD☆10Oct 22, 2020Updated 5 years ago
- A library which implements the MySQL server protocol, giving you the ability to create MySQL-like services☆11Jan 4, 2021Updated 5 years ago
- 國際STEAM Maker Forum(STEAM) 創客論壇☆17Aug 5, 2016Updated 9 years ago
- Repo for the Journal of Systems Research (JSYS)☆11Jan 7, 2020Updated 6 years ago
- 各学科知识☆12Nov 11, 2016Updated 9 years ago