rikhuijzer / xrcfLinks
A modern library for building production-grade compilers
☆18Updated 9 months ago
Alternatives and similar repositories for xrcf
Users that are interested in xrcf are comparing it to the libraries listed below
Sorting:
- MimIR is my Intermediate Representation☆84Updated this week
- Julia library to manipulate MLIR dialects.☆65Updated 10 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- An Extensible Compiler IR Framework☆228Updated this week
- Fir programming language☆84Updated this week
- An awesome list of e-graph resources☆268Updated last week
- 32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch☆22Updated 2 months ago
- An experimental optimizing compiler for Bril using egglog☆81Updated 2 weeks ago
- Fork of Enzyme to work on Reverse-Mode Differentiation at the MLIR-level.☆11Updated 2 years ago
- A minimal development of SSA theory☆198Updated last week
- An attempt at safe imperative GPU programming.☆59Updated 3 months ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆112Updated 4 months ago
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆116Updated 2 weeks ago
- The rustic MLIR bindings in Rust☆453Updated this week
- ꩜ Lift Julia array operations to MLIR dialects and run using IREE.☆41Updated 11 months ago
- ☆26Updated 2 years ago
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆72Updated this week
- K Junior is an MIT licensed open source array language written by Arthur Whitney.☆23Updated last year
- A small, statically typed, low-level programming language.☆24Updated 3 months ago
- embedding MLIR in LEAN☆48Updated last year
- BQN implementation in Julia☆18Updated 3 years ago
- ☆119Updated last year
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆42Updated this week
- Pure functional programming with whole-program mutability inference☆78Updated 4 months ago
- Small and dependency-free Julia package to infer file and MIME type checking the magic numbers signature.☆18Updated 2 weeks ago
- A language with dependent data and codata types☆126Updated this week
- Compiler optimizer for arbitrary control flow based on equality saturation☆105Updated 3 years ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆61Updated 5 months ago
- Interaction net resources☆41Updated last week
- A Tensor Language☆55Updated 4 years ago