mukul-rathi / boltLinks
Bolt is a language with in-built data-race freedom!
☆606Updated 2 years ago
Alternatives and similar repositories for bolt
Users that are interested in bolt are comparing it to the libraries listed below
Sorting:
- The best C-like language that can be implemented in 10kLOC.☆651Updated last week
- an educational compiler intermediate representation☆722Updated 3 weeks ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆678Updated 2 months ago
- Cone Programming Language☆549Updated 2 years ago
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆642Updated last year
- A Quick Backend☆362Updated 3 years ago
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆299Updated 3 years ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆344Updated 7 months ago
- A Simple showcase for the Sea-of-Nodes compiler IR☆817Updated this week
- This repository accompanies Bolt - includes the accompanying dissertation.☆41Updated 5 years ago
- Reference implementation for Writing a C Compiler☆222Updated 9 months ago
- graph based intermediate representation and backend for optimising compilers☆531Updated 9 months ago
- A series of down-to-earth articles on implementing type inference☆162Updated 5 years ago
- advanced compilers☆882Updated 3 weeks ago
- An introduction to language design through building a compiler frontend and completing a self-paced exercise on top of LLVM.☆137Updated 2 months ago
- LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)☆267Updated 2 years ago
- A compiler for a new language focusing on compile-time execution and no LLVM dependency.☆292Updated 2 years ago
- A curated list of awesome JIT frameworks, libraries, software and resources☆501Updated last week
- A programming language that's wise beyond its bytes!🌱🌿🪴☆530Updated 5 months ago
- ☆1,006Updated 2 years ago
- Systems language with linear types and capability-based security.☆1,414Updated 4 months ago
- The Finch programming language☆254Updated 5 years ago
- The Felix Programming Language☆814Updated last year
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,150Updated 8 months ago
- Tools for a compilers course☆127Updated 4 months ago
- Experimental operating system written in Zig☆508Updated 2 months ago
- Test cases for Writing a C Compiler☆333Updated this week
- List of small programming languages that you can implement in a relatively small amount of time for educational purposes.☆113Updated last month
- Language tooling for the Lox programming language.☆343Updated 4 months ago
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆96Updated 3 months ago