Alternatives and similar repositories for cs6120:

Users that are interested in cs6120 are comparing it to the libraries listed below

• sampsyo / bril
  an educational compiler intermediate representation
  ☆645Updated 2 weeks ago
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆575Updated 3 weeks ago
• IUCompilerCourse / Essentials-of-Compilation
  A book about compiling Racket and Python to x86-64 assembly
  ☆1,380Updated 4 months ago
• SeaOfNodes / Simple
  A Simple showcase for the Sea-of-Nodes compiler IR
  ☆531Updated this week
• f0rki / mapping-high-level-constructs-to-llvm-ir
  A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.
  ☆617Updated 5 months ago
• spencertipping / jit-tutorial
  How to write a very simple JIT compiler
  ☆1,831Updated 3 years ago
• AliveToolkit / alive2
  Automatic verification of LLVM optimizations
  ☆877Updated last week
• learn-llvm / awesome-llvm
  A curated list of awesome LLVM (including Clang, etc) related resources.
  ☆596Updated 4 months ago
• egraphs-good / egg
  egg is a flexible, high-performance e-graph library
  ☆1,443Updated 3 weeks ago
• mukul-rathi / bolt
  Bolt is a language with in-built data-race freedom!
  ☆592Updated last year
• LeifAndersen / PLGradSchools
  ☆228Updated 7 months ago
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆371Updated last week
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆139Updated 4 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆167Updated 4 years ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆628Updated 11 months ago
• zwang4 / awesome-machine-learning-in-compilers
  Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisati…
  ☆1,514Updated last month
• keleshev / compiling-to-assembly-from-scratch
  Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
  ☆314Updated last year
• llvm / clangir
  A new (MLIR based) high-level IR for clang.
  ☆470Updated this week
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆210Updated last week
• stedolan / counterexamples
  Counterexamples in Type Systems
  ☆394Updated last year
• spencertipping / shell-tutorial
  How to write a UNIX shell, with a lot of background
  ☆346Updated 7 years ago
• isuckatcs / how-to-compile-your-language
  An introduction to language design through building a compiler frontend and completing a self-paced exercise on top of LLVM.
  ☆111Updated last week
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆166Updated last week
• sysprog21 / shecc
  A self-hosting and educational C optimizing compiler
  ☆1,200Updated this week
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆130Updated 4 years ago
• llvm / Polygeist
  C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!
  ☆525Updated 5 months ago
• calyxir / calyx
  Intermediate Language (IL) for Hardware Accelerator Generators
  ☆519Updated this week
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆216Updated 2 years ago
• PacktPublishing / Learn-LLVM-17
  Learn LLVM 17, published by Packt
  ☆172Updated 9 months ago
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆1,953Updated this week