BuildIt-lang / buildit
Online demo without installing at - https://buildit.so/tryit
☆153Updated last week
Related projects ⓘ
Alternatives and complementary repositories for buildit
- simple snapshot-style integration testing for commands☆66Updated 3 months ago
- Lightweight framework for easy and efficient code generation☆98Updated 2 months ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆158Updated 2 years ago
- Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.☆93Updated this week
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆94Updated 3 months ago
- A repository to test dialects defined dynamically.☆12Updated last year
- A translation validation framework for MLIR☆73Updated 2 weeks ago
- An optimizing ahead-of-time Python Compiler☆158Updated 5 months ago
- An awesome list of e-graph resources☆94Updated 2 weeks ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆66Updated last week
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆71Updated 5 months ago
- A Python Compiler Design Toolkit☆272Updated this week
- NOELLE Offers Empowering LLVM Extensions☆76Updated 3 weeks ago
- Generic model checker for concurrent C programs (mirror repository)☆109Updated last month
- 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…☆397Updated this week
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- Generates CIL MLIR dialect from C/C++ source.☆31Updated 3 years ago
- ☆83Updated 2 years ago
- A program synthesis framework for verified lifting applications☆39Updated last week
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆125Updated 4 years ago
- A new (MLIR based) high-level IR for clang.☆383Updated this week
- ☆27Updated last year
- Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.☆52Updated 11 months ago
- Search-based compiler for high-performance DSP programming☆61Updated last week
- Rewrite Rule Inference Using Equality Saturation☆118Updated 5 months ago
- Prototype implementation of Heartbeat Scheduling, in C++☆14Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆66Updated this week
- Python bindings for the egg-smol rust library☆64Updated this week
- C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!☆485Updated last month
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated last year