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/
  ☆99Updated 7 years ago
• ice1000 / Books
  My slides and notes
  ☆137Updated last year
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆211Updated last week
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆138Updated 9 months 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
• abcdabcd987 / compiler2016
  Toy Compiler for Compiler 2016 Course
  ☆90Updated 8 years ago
• pku-dppl / TAPL-in-MoonBit
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆59Updated 2 weeks ago
• lynzrand / chigusa
  A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业
  ☆30Updated 4 years ago
• deeplang-org / deeplang
  Deeplang is a new language for IoT device programming.
  ☆80Updated 2 years ago
• Booob / P523
  P523 Code
  ☆27Updated 10 years ago
• HaskellZhangSong / Introduction_to_Haskell_2ed_source
  这是Haskell函数式编程入门第2版的源码
  ☆81Updated 7 years ago
• zju-lambda / slides
  slides of zju-lambda
  ☆14Updated 6 years ago
• thautwarm / RBNF
  This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…
  ☆40Updated 6 years ago
• Cheukyin / TemplatedPL
  A Lisp Interpreter Written in C++ Template
  ☆73Updated 4 years ago
• decaf-lang / decaf-rs
  The Decaf compiler, written in Rust
  ☆56Updated 5 years ago
• MarisaKirisame / resume
  ☆43Updated 2 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆205Updated last month
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆33Updated 3 years ago
• chyyuu / compiler_course_info
  compiler course info
  ☆248Updated last year
• wuye9036 / ChsLLVMDocs
  It is a set of LLVM documents which are translated into Chinese.
  ☆245Updated 7 years ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆49Updated 3 years ago
• xuyifangreeneyes / mxcompiler
  Craft a toy compiler
  ☆10Updated 5 years ago
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆43Updated 4 years ago
• w41ter / LL-Script
  Simple script
  ☆42Updated 7 years ago
• lotuc / PLAI-cn
  Programming Languages: Application and Interpretation
  ☆244Updated last year
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆56Updated this week
• Cm-lang / Cmc
  the compiler for the Cm programming language
  ☆31Updated 7 years ago
• LemonVM / LemonVMAlpha
  A Register Based VM. 柠檬手写的看起来像栈机的寄存器机
  ☆65Updated 4 years ago
• chyyuu / compiler_lab
  Some toy labs for compiler course
  ☆58Updated 2 years ago