mukul-rathi / boltLinks
Bolt is a language with in-built data-race freedom!
☆598Updated 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☆668Updated this week
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆621Updated 7 months ago
- A Quick Backend☆338Updated 3 years ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆598Updated last week
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆290Updated 2 years ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆325Updated 3 weeks ago
- The best C-like language that can be implemented in 10kLOC.☆602Updated this week
- Automatic verification of LLVM optimizations☆911Updated 2 weeks ago
- This repository accompanies Bolt - includes the accompanying dissertation.☆41Updated 4 years ago
- LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)☆253Updated 2 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,117Updated 2 months ago
- A Simple showcase for the Sea-of-Nodes compiler IR☆652Updated this week
- advanced compilers☆833Updated this week
- A curated list of awesome JIT frameworks, libraries, software and resources☆480Updated last year
- You might not need your garbage collector☆543Updated 5 years ago
- The CompCert formally-verified C compiler☆1,986Updated last week
- Reference implementation for Writing a C Compiler☆161Updated 3 months ago
- Cone Programming Language☆541Updated 2 years ago
- Simple C Compiler in OCaml☆94Updated 7 years ago
- Experimental operating system written in Zig☆481Updated 6 months ago
- How to write a UNIX shell, with a lot of background☆350Updated 8 years ago
- LLVM IR in natural Rust data structures☆605Updated 2 months ago
- A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR☆2,427Updated 9 months ago
- graph based intermediate representation and backend for optimising compilers☆508Updated 2 months ago
- A curated list of low level programming languages (i.e. suitable for OS and game programming)☆247Updated 6 months ago
- The parallel, concurrent, and functional programming language for scalable software development☆456Updated this week
- A modern supercompiler for call-by-value functional languages☆414Updated last month
- (Toy) Compiler Infrastructure influenced by LLVM written in Rust☆401Updated 4 years ago
- A compiler for a new language focusing on compile-time execution and no LLVM dependency.☆287Updated last year
- How to write a very simple JIT compiler☆1,853Updated 4 years ago