mukul-rathi / bolt
Bolt is a language with in-built data-race freedom!
☆592Updated last year
Alternatives and similar repositories for bolt:
Users that are interested in bolt are comparing it to the libraries listed below
- an educational compiler intermediate representation☆645Updated 2 weeks ago
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆617Updated 5 months ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆575Updated 3 weeks ago
- Cone Programming Language☆535Updated 2 years ago
- The best C-like language that can be implemented in 10kLOC.☆562Updated this week
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆286Updated 2 years ago
- A Quick Backend☆328Updated 3 years ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆314Updated 2 years ago
- A curated list of awesome JIT frameworks, libraries, software and resources☆473Updated 10 months ago
- graph based intermediate representation and backend for optimising compilers☆503Updated 3 weeks ago
- LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)☆246Updated 2 years ago
- This repository accompanies Bolt - includes the accompanying dissertation.☆41Updated 4 years ago
- The Felix Programming Language☆808Updated 6 months ago
- A Simple showcase for the Sea-of-Nodes compiler IR☆531Updated this week
- You might not need your garbage collector☆540Updated 4 years ago
- A modern supercompiler for call-by-value functional languages☆403Updated this week
- Test cases for Writing a C Compiler☆237Updated this week
- The MaPLe compiler: efficient and scalable parallel functional programming☆372Updated this week
- LLVM IR in natural Rust data structures☆592Updated 3 weeks ago
- Automatic verification of LLVM optimizations☆877Updated last week
- A series of down-to-earth articles on implementing type inference☆153Updated 4 years ago
- Systems language with linear types and capability-based security.☆1,220Updated 9 months ago
- A compiler for a new language focusing on compile-time execution and no LLVM dependency.☆287Updated last year
- advanced compilers☆803Updated last week
- A fast functional language based on two level type theory☆389Updated 2 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,112Updated this week
- A garden of small programming language implementations 🪴☆218Updated this week
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆97Updated 5 months ago
- Haskell LLVM JIT Compiler Tutorial☆1,038Updated 4 years ago
- CakeML: A Verified Implementation of ML☆1,010Updated this week