sampsyo / bril
an educational compiler intermediate representation
☆637Updated 2 weeks ago
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☆571Updated last week
- egg is a flexible, high-performance e-graph library☆1,439Updated 2 weeks ago
- advanced compilers☆799Updated last week
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆615Updated 4 months ago
- LLVM IR in natural Rust data structures☆591Updated last week
- Intermediate Language (IL) for Hardware Accelerator Generators☆518Updated this week
- A Simple showcase for the Sea-of-Nodes compiler IR☆512Updated this week
- Automatic verification of LLVM optimizations☆875Updated 3 weeks ago
- The rustic MLIR bindings in Rust☆388Updated this week
- egraphs + datalog!☆500Updated this week
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆216Updated 4 months ago
- Bolt is a language with in-built data-race freedom!☆589Updated last year
- Logic programming in Rust☆457Updated last week
- Memory Management ToolKit☆425Updated 2 weeks ago
- simple snapshot-style integration testing for commands☆70Updated 8 months ago
- Refinement Types for Rust☆701Updated this week
- Sail architecture definition language☆686Updated this week
- A modern supercompiler for call-by-value functional languages☆402Updated last month
- A new (MLIR based) high-level IR for clang.☆460Updated this week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆322Updated this week
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆616Updated 3 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,110Updated last year
- A fast functional language based on two level type theory☆389Updated 2 years ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆627Updated 11 months ago
- A Quick Backend☆327Updated 2 years ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,219Updated this week
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆204Updated 4 years ago
- Crafting Interpreters in Rust☆285Updated 2 years ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆370Updated last month
- A compiler for Standard ML, somewhat☆202Updated 2 years ago