mgaudet / CompilerJobsLinks
A listing of compiler, language and runtime teams for people looking for jobs in this area
☆598Updated 2 weeks ago
Alternatives and similar repositories for CompilerJobs
Users that are interested in CompilerJobs are comparing it to the libraries listed below
Sorting:
- an educational compiler intermediate representation☆669Updated this week
- A Simple showcase for the Sea-of-Nodes compiler IR☆656Updated this week
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆622Updated 7 months ago
- advanced compilers☆834Updated last week
- Bolt is a language with in-built data-race freedom!☆599Updated last year
- Automatic verification of LLVM optimizations☆913Updated 3 weeks ago
- The Vellvm (Verified LLVM) coq development.☆430Updated this week
- A modern supercompiler for call-by-value functional languages☆415Updated last month
- A curated list of awesome LLVM (including Clang, etc) related resources.☆620Updated 6 months ago
- Yet Another Random Program Generator☆511Updated 3 weeks ago
- graph based intermediate representation and backend for optimising compilers☆508Updated 3 months ago
- The best C-like language that can be implemented in 10kLOC.☆610Updated this week
- A Quick Backend☆338Updated 3 years ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆326Updated last month
- The CompCert formally-verified C compiler☆1,992Updated last week
- Program Analisys and Transformation survey and links (particular focus on SSA)☆165Updated 4 years ago
- LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)☆254Updated 2 years ago
- ☆233Updated 10 months ago
- A book about compiling Racket and Python to x86-64 assembly☆1,427Updated 2 weeks ago
- Sail architecture definition language☆739Updated this week
- A curated list of awesome JIT frameworks, libraries, software and resources☆481Updated last year
- Counterexamples in Type Systems☆395Updated 2 years ago
- CakeML: A Verified Implementation of ML☆1,052Updated this week
- The MaPLe compiler: efficient and scalable parallel functional programming☆378Updated 2 months ago
- Crucible is a library for symbolic simulation of imperative programs☆719Updated last week
- A garden of small programming language implementations 🪴☆245Updated this week
- The MLton repository☆1,013Updated this week
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆141Updated 4 years ago
- A curated set of links to formal methods involving provable code.☆206Updated 3 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago