Online demo without installing at - https://buildit.so/tryit
☆190Dec 26, 2025Updated 2 months ago
Alternatives and similar repositories for buildit
Users that are interested in buildit are comparing it to the libraries listed below
Sorting:
- ☆16Jun 13, 2024Updated last year
- A System for Differential Debugging☆23Apr 10, 2025Updated 10 months ago
- Optimize pipelines for locality☆14Feb 21, 2026Updated 2 weeks ago
- Retargetable ML compilers for the twenty-first century!☆13Apr 22, 2025Updated 10 months ago
- TensorRight: Automated Verification of Tensor Graph Rewrites☆18Nov 9, 2025Updated 3 months ago
- ☆60Dec 9, 2025Updated 2 months ago
- Search-based compiler for high-performance DSP programming☆71Oct 29, 2024Updated last year
- Exocompilation for productive programming of hardware accelerators☆717Updated this week
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- ☆14May 19, 2023Updated 2 years ago
- simple snapshot-style integration testing for commands☆75May 29, 2025Updated 9 months ago
- A formalization of first-order logic and Peano's axioms in Python☆21Jun 21, 2025Updated 8 months ago
- Website for CS 265☆33Dec 27, 2024Updated last year
- Tracing-based reverse mode automatic differentiation (like autograd!)☆27Feb 2, 2025Updated last year
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Oct 19, 2025Updated 4 months ago
- A translation validation framework for MLIR☆94Mar 19, 2025Updated 11 months ago
- Tool for loading and testing native shaders translated from crosstl☆13Dec 15, 2024Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years 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
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs☆1,349Apr 14, 2025Updated 10 months ago
- A deterministic parser with fused lexing☆75Jul 1, 2023Updated 2 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆46Jul 15, 2019Updated 6 years ago
- embedding MLIR in LEAN☆48Jun 17, 2024Updated last year
- Convert shared libraries into relocatable objects☆10Dec 23, 2023Updated 2 years ago
- Open Targets Genetics UI☆15Jan 31, 2025Updated last year
- Goal: a website to automatically train and certify compiler researchers and developers☆10Nov 24, 2019Updated 6 years ago
- A variant of Ahash written in C++.☆10Mar 20, 2023Updated 2 years ago
- REPL for C preprocessor of C++17☆10Jul 20, 2025Updated 7 months ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- The implementation of an SMTLib dialect for xDSL☆17Feb 27, 2026Updated last week
- Language Bindings to interact with the BeagleBone PRUs☆10Jan 8, 2022Updated 4 years ago
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆435Updated this week
- PWM servo control with the BeagleBone Black PRUs☆16Aug 28, 2013Updated 12 years ago
- a metaprogramming language that compiles from types☆10Jun 26, 2024Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 3 weeks ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 7 years ago
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆11Aug 16, 2023Updated 2 years ago