Alternatives and similar repositories for CompilerWorks:

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

• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆100Updated 7 years ago
• siriusdemon / iub_2009_P523_framework
  This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…
  ☆24Updated 4 years ago
• ice1000 / Books
  My slides and notes
  ☆137Updated last year
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆209Updated this week
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆137Updated 7 months ago
• zju-lambda / slides
  slides of zju-lambda
  ☆14Updated 5 years ago
• Booob / P523
  P523 Code
  ☆27Updated 9 years ago
• deeplang-org / deeplang
  Deeplang is a new language for IoT device programming.
  ☆80Updated last year
• lynzrand / chigusa
  A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业
  ☆30Updated 4 years ago
• MarisaKirisame / resume
  ☆42Updated 3 weeks ago
• Cheukyin / TemplatedPL
  A Lisp Interpreter Written in C++ Template
  ☆69Updated 4 years ago
• abcdabcd987 / compiler2016
  Toy Compiler for Compiler 2016 Course
  ☆90Updated 8 years ago
• spiritbear / Grad-School-Code
  Some Code from my Grad School Courses
  ☆107Updated 13 years ago
• HaskellZhangSong / Introduction_to_Haskell_2ed_source
  这是Haskell函数式编程入门第2版的源码
  ☆82Updated 6 years ago
• lotuc / PLAI-cn
  Programming Languages: Application and Interpretation
  ☆243Updated last year
• xuyifangreeneyes / mxcompiler
  Craft a toy compiler
  ☆10Updated 5 years ago
• anqurvanillapy / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆23Updated last month
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆160Updated last month
• chyyuu / compiler_lab
  Some toy labs for compiler course
  ☆57Updated 2 years ago
• Chocopy-LLVM / chocopy-llvm
  A repo to store the compiler project
  ☆72Updated 2 years ago
• w41ter / LL-Script
  Simple script
  ☆42Updated 7 years ago
• wuye9036 / ChsLLVMDocs
  It is a set of LLVM documents which are translated into Chinese.
  ☆244Updated 7 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆33Updated 2 years ago
• MarisaKirisame / zombie
  Zombie chan revive!
  ☆24Updated 10 months ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆53Updated 3 years ago
• Trebor-Huang / history
  History of type theory (Chinese).
  ☆327Updated 2 weeks ago
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆42Updated 4 years ago
• Becavalier / brainfuck-jit-interpreter
  A handwritten Brainfuck JIT interpreter, mainly used for demonstration.
  ☆46Updated last year
• decaf-lang / decaf-rs
  The Decaf compiler, written in Rust
  ☆56Updated 5 years ago