sampsyo / bril
an educational compiler intermediate representation
☆645Updated last week
Alternatives and similar repositories for bril:
Users that are interested in bril are comparing it to the libraries listed below
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆574Updated 2 weeks ago
- advanced compilers☆803Updated this week
- LLVM IR in natural Rust data structures☆592Updated 2 weeks ago
- egg is a flexible, high-performance e-graph library☆1,443Updated 3 weeks ago
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆617Updated 4 months ago
- Intermediate Language (IL) for Hardware Accelerator Generators☆519Updated this week
- The rustic MLIR bindings in Rust☆390Updated last week
- egraphs + datalog!☆507Updated this week
- Automatic verification of LLVM optimizations☆877Updated last week
- Bolt is a language with in-built data-race freedom!☆592Updated last year
- A Simple showcase for the Sea-of-Nodes compiler IR☆519Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆628Updated 11 months ago
- A modern supercompiler for call-by-value functional languages☆402Updated this week
- Creusot helps you prove your code is correct in an automated fashion.☆1,230Updated this week
- Logic programming in Rust☆457Updated 3 weeks ago
- simple snapshot-style integration testing for commands☆70Updated 8 months ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆204Updated 4 years ago
- Memory Management ToolKit☆426Updated this week
- The MaPLe compiler: efficient and scalable parallel functional programming☆371Updated last week
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆139Updated 4 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆217Updated 4 months ago
- Sail architecture definition language☆689Updated this week
- A precise specification for "Rust lite / MIR plus"☆841Updated last week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆324Updated this week
- The Vellvm (Verified LLVM) coq development.☆420Updated this week
- A Python Compiler Design Toolkit☆322Updated this week
- LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)☆246Updated 2 years ago
- Refinement Types for Rust☆705Updated this week
- Programming Languages Intermediate Representation☆134Updated this week
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆615Updated 3 years ago