mukul-rathi / boltLinks
Bolt is a language with in-built data-race freedom!
☆599Updated last year
Alternatives and similar repositories for bolt
Users that are interested in bolt are comparing it to the libraries listed below
Sorting:
- an educational compiler intermediate representation☆672Updated last week
- The best C-like language that can be implemented in 10kLOC.☆621Updated this week
- A Quick Backend☆337Updated 3 years ago
- A Simple showcase for the Sea-of-Nodes compiler IR☆671Updated this week
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆622Updated 7 months ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆598Updated last month
- Cone Programming Language☆543Updated 2 years ago
- A curated list of awesome JIT frameworks, libraries, software and resources☆482Updated last year
- This repository accompanies Bolt - includes the accompanying dissertation.☆41Updated 4 years ago
- graph based intermediate representation and backend for optimising compilers☆509Updated 3 months ago
- Platform independent low-level JIT compiler☆945Updated 2 months ago
- A series of down-to-earth articles on implementing type inference☆156Updated 5 years ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆328Updated last month
- Language tooling for the Lox programming language.☆313Updated 3 months ago
- Automatic verification of LLVM optimizations☆918Updated this week
- Dora VM☆504Updated this week
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆290Updated 2 years ago
- advanced compilers☆836Updated 2 weeks ago
- A modern supercompiler for call-by-value functional languages☆415Updated 2 months ago
- LLVM tutorial in Rust language☆1,208Updated last year
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,122Updated 2 months ago
- Reference implementation for Writing a C Compiler☆164Updated 4 months ago
- JIT compiler and runtime for a toy language, using Cranelift☆690Updated 2 months ago
- LLVM IR in natural Rust data structures☆613Updated 3 weeks ago
- An industrial-grade brainfuck compiler☆529Updated last year
- You might not need your garbage collector☆543Updated 5 years ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆381Updated 2 months ago
- A compiler for a new language focusing on compile-time execution and no LLVM dependency.☆287Updated last year
- A statically-typed variant of Lox, written in TypeScript☆125Updated 2 years ago
- Systems language with linear types and capability-based security.☆1,345Updated last month