an educational compiler intermediate representation
☆771May 18, 2026Updated last month
Alternatives and similar repositories for bril
Users that are interested in bril are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- advanced compilers☆975Jan 10, 2026Updated 5 months ago
- simple snapshot-style integration testing for commands☆75May 29, 2025Updated last year
- The best C-like language that can be implemented in 10kLOC.☆698Jun 19, 2026Updated 2 weeks ago
- egg is a flexible, high-performance e-graph library☆1,773Apr 14, 2026Updated 2 months ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆774Apr 24, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆218Jul 26, 2020Updated 5 years ago
- A collection of out-of-tree LLVM passes for teaching and learning☆3,408May 17, 2026Updated last month
- A Simple showcase for the Sea-of-Nodes compiler IR☆895Jun 24, 2026Updated last week
- Intermediate Language (IL) for Hardware Accelerator Generators☆601Jun 25, 2026Updated last week
- An experimental optimizing compiler for Bril using egglog☆94Jun 22, 2026Updated last week
- A safe, easy systems language☆2,276Jun 29, 2026Updated last week
- A lighweight and parallel snapshot testing framework in rust☆41Aug 17, 2023Updated 2 years ago
- A compiler for Standard ML, somewhat☆204Apr 25, 2022Updated 4 years ago
- C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!☆619Jun 19, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆236Oct 30, 2024Updated last year
- JIT compiler and runtime for a toy language, using Cranelift☆748Nov 7, 2025Updated 7 months ago
- A garden of small programming language implementations 🪴☆326Updated this week
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,965Jun 16, 2026Updated 2 weeks ago
- Automatic verification of LLVM optimizations☆1,121Jun 27, 2026Updated last week
- The Standard ML compiler that produces Lua/JavaScript☆451Jun 5, 2026Updated last month
- LLVM IR in natural Rust data structures☆695Jan 16, 2026Updated 5 months ago
- Minimal implementations for dependent type checking and elaboration☆790Jan 30, 2026Updated 5 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Language tooling for the Lox programming language.☆364Apr 12, 2026Updated 2 months ago
- A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR☆2,599Jun 19, 2026Updated 2 weeks ago
- UB-aware interpreter for LLVM debugging☆48May 21, 2026Updated last month
- A self-hosting and educational C optimizing compiler☆1,370Apr 11, 2026Updated 2 months ago
- example LLVM pass☆610Mar 6, 2025Updated last year
- The MaPLe compiler: efficient and scalable parallel functional programming☆428Apr 14, 2026Updated 2 months ago
- world's worst interpreter☆70Apr 23, 2025Updated last year
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,155Mar 23, 2025Updated last year
- A book about compiling Racket and Python to x86-64 assembly☆1,586Oct 30, 2025Updated 8 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Circuit IR Compilers and Tools☆2,173Updated this week
- MLIR For Beginners tutorial☆1,320Jul 18, 2025Updated 11 months ago
- In-memory x86-64 assembler for JIT compiler.☆79Jun 8, 2026Updated 3 weeks ago
- A website for the #proglangdesign community on freenode☆112Apr 18, 2026Updated 2 months ago
- [Ariadne has moved to Codeberg!] A fancy diagnostics & error reporting crate☆2,161Mar 23, 2026Updated 3 months ago
- Curated list of awesome resources on Compilers, Interpreters and Runtimes☆9,827May 26, 2024Updated 2 years ago
- egraphs + datalog!☆776Updated this week