mukul-rathi / bolt
Bolt is a language with in-built data-race freedom!
☆596Updated last year
Alternatives and similar repositories for bolt:
Users that are interested in bolt are comparing it to the libraries listed below
- The best C-like language that can be implemented in 10kLOC.☆589Updated this week
- A Quick Backend☆334Updated 3 years ago
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆620Updated 6 months ago
- an educational compiler intermediate representation☆663Updated last month
- Cone Programming Language☆536Updated 2 years ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆582Updated last week
- A curated list of awesome JIT frameworks, libraries, software and resources☆480Updated last year
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆288Updated 2 years ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆316Updated last week
- graph based intermediate representation and backend for optimising compilers☆507Updated 2 months ago
- A book about compiling Racket and Python to x86-64 assembly☆1,412Updated this week
- LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)☆251Updated 2 years ago
- A Simple showcase for the Sea-of-Nodes compiler IR☆629Updated this week
- LLVM tutorial in Rust language☆1,198Updated last year
- You might not need your garbage collector☆542Updated 4 years ago
- This repository accompanies Bolt - includes the accompanying dissertation.☆41Updated 4 years ago
- How to write a very simple JIT compiler☆1,846Updated 4 years ago
- Dora VM☆503Updated last week
- Systems language with linear types and capability-based security.☆1,289Updated last month
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,120Updated last month
- Experimental operating system written in Zig☆479Updated 5 months ago
- A general purpose programming language☆190Updated 2 months ago
- A list of compilers that can generate C code☆730Updated last year
- advanced compilers☆824Updated this week
- Automatic verification of LLVM optimizations☆899Updated this week
- A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR☆2,419Updated 8 months ago
- A compiler for a new language focusing on compile-time execution and no LLVM dependency.☆287Updated last year
- The MaPLe compiler: efficient and scalable parallel functional programming☆376Updated last month
- LLVM IR in natural Rust data structures☆602Updated 2 months ago
- Research WebAssembly Engine☆414Updated this week