mukul-rathi / boltLinks
Bolt is a language with in-built data-race freedom!
☆608Updated 2 years ago
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☆724Updated 2 weeks ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆691Updated 3 weeks ago
- The best C-like language that can be implemented in 10kLOC.☆669Updated this week
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆647Updated last year
- A Quick Backend☆373Updated 3 years ago
- Cone Programming Language☆549Updated 3 years ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆348Updated 8 months ago
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆300Updated 3 years ago
- This repository accompanies Bolt - includes the accompanying dissertation.☆41Updated 5 years ago
- Reference implementation for Writing a C Compiler☆226Updated 10 months ago
- A Simple showcase for the Sea-of-Nodes compiler IR☆825Updated this week
- A series of down-to-earth articles on implementing type inference☆164Updated 5 years ago
- advanced compilers☆889Updated 2 weeks ago
- LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)☆267Updated 3 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,153Updated 9 months ago
- An introduction to language design through building a compiler frontend and completing a self-paced exercise on top of LLVM.☆137Updated this week
- A curated list of awesome JIT frameworks, libraries, software and resources☆504Updated last month
- ☆1,007Updated 2 years ago
- A programming language that's wise beyond its bytes!🌱🌿🪴☆534Updated 6 months ago
- You might not need your garbage collector☆541Updated 5 years ago
- A compiler for a new language focusing on compile-time execution and no LLVM dependency.☆295Updated 2 years ago
- Test cases for Writing a C Compiler☆345Updated last month
- Tools for a compilers course☆127Updated 5 months ago
- x86 C compiler written in untyped lambda calculus☆678Updated 3 years ago
- A garden of small programming language implementations 🪴☆304Updated this week
- A fast functional language based on two level type theory☆392Updated 3 years ago
- How to write a UNIX shell, with a lot of background☆361Updated 8 years ago
- A statically-typed variant of Lox, written in TypeScript☆135Updated 3 years ago
- A simple ML-like programming language with subtyping and full type inference.☆186Updated last year
- How to write a very simple JIT compiler☆1,898Updated 4 years ago