mukul-rathi / bolt
Bolt is a language with in-built data-race freedom!
☆580Updated 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☆587Updated 2 months ago
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆611Updated 2 months ago
- The best C-like language that can be implemented in 10kLOC.☆516Updated 3 weeks ago
- A Quick Backend☆313Updated 2 years ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆547Updated last month
- Cone Programming Language☆532Updated 2 years ago
- This repository accompanies Bolt - includes the accompanying dissertation.☆41Updated 4 years ago
- A series of down-to-earth articles on implementing type inference☆153Updated 4 years ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆303Updated last year
- A book about compiling Racket and Python to x86-64 assembly☆1,347Updated last month
- ☆1,016Updated last year
- LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)☆242Updated 2 years ago
- advanced compilers☆776Updated this week
- A curated list of awesome JIT frameworks, libraries, software and resources☆460Updated 8 months ago
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆282Updated 2 years ago
- A compiler for a new language focusing on compile-time execution and no LLVM dependency.☆287Updated last year
- Automatic verification of LLVM optimizations☆843Updated last week
- Cake a C23 front end and transpiler written in C☆567Updated 2 weeks ago
- Reference implementation for Writing a C Compiler☆131Updated this week
- graph based intermediate representation and backend for optimising compilers☆487Updated last week
- Systems language with linear types and capability-based security.☆1,152Updated 6 months ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆358Updated this week
- A Simple showcase for the Sea-of-Nodes compiler IR☆435Updated this week
- Feral programming language reference implementation☆141Updated 2 weeks ago
- Research WebAssembly Engine☆393Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,103Updated last year
- A compiler for Standard ML, somewhat☆202Updated 2 years ago
- You might not need your garbage collector☆540Updated 4 years ago
- JIT compiler and runtime for a toy language, using Cranelift☆658Updated last year
- A curated list of awesome LLVM (including Clang, etc) related resources.☆575Updated last month