sampsyo / bril
an educational compiler intermediate representation
☆556Updated 2 weeks ago
Related projects: ⓘ
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆494Updated last week
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆595Updated last year
- egg is a flexible, high-performance e-graph library☆1,337Updated 2 weeks ago
- advanced compilers☆742Updated 2 weeks ago
- Intermediate Language (IL) for Hardware Accelerator Generators☆475Updated this week
- Memory Management ToolKit☆373Updated last week
- Bolt is a language with in-built data-race freedom!☆560Updated 9 months ago
- LLVM IR in natural Rust data structures☆538Updated 4 months ago
- A Simple showcase for the Sea-of-Nodes compiler IR☆341Updated this week
- Automatic verification of LLVM optimizations☆758Updated this week
- The rustic MLIR bindings in Rust☆304Updated this week
- egraphs + datalog!☆417Updated this week
- logic programming in Rust☆387Updated 2 months ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆122Updated 4 years ago
- Sail architecture definition language☆587Updated this week
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆206Updated 7 months ago
- The Vellvm (Verified LLVM) coq development.☆389Updated last week
- A new (MLIR based) high-level IR for clang.☆343Updated this week
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆610Updated 3 years ago
- A modern supercompiler for call-by-value functional languages☆366Updated this week
- A Quick Backend☆280Updated 2 years ago
- The MaPLe compiler for efficient and scalable parallel functional programming☆320Updated last week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆291Updated this week
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆188Updated 4 years ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆607Updated 5 months ago
- graph based intermediate representation and backend for optimising compilers☆473Updated 2 months ago
- Refinement Types for Rust☆634Updated this week
- A curated list of awesome LLVM (including Clang, etc) related resources.☆495Updated 3 months ago
- A precise specification for "Rust lite / MIR plus"☆809Updated last week
- Counterexamples in Type Systems☆372Updated last year