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
• deeplang-org / deeplang
  Deeplang is a new language for IoT device programming.
  ☆80Updated 2 years ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆136Updated 9 months ago
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆211Updated this week
• 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
• zju-lambda / slides
  slides of zju-lambda
  ☆14Updated 6 years ago
• lynzrand / chigusa
  A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业
  ☆30Updated 4 years ago
• chyyuu / compiler_lab
  Some toy labs for compiler course
  ☆58Updated 2 years ago
• HaskellZhangSong / Introduction_to_Haskell_2ed_source
  这是Haskell函数式编程入门第2版的源码
  ☆81Updated 7 years ago
• abcdabcd987 / compiler2016
  Toy Compiler for Compiler 2016 Course
  ☆90Updated 8 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆33Updated 2 years ago
• Cheukyin / TemplatedPL
  A Lisp Interpreter Written in C++ Template
  ☆71Updated 4 years ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 7 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
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 4 years ago
• ice1000 / guest0x0
  Neon lights in the night tonight and stars that shine in the open sky
  ☆43Updated last year
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆162Updated 3 months ago
• Booob / P523
  P523 Code
  ☆27Updated 10 years ago
• Alaya-in-Matrix / CLaSH-Processor
  A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog
  ☆22Updated 6 years ago
• xuyifangreeneyes / mxcompiler
  Craft a toy compiler
  ☆10Updated 5 years ago
• choukh / Baby-Set-Theory
  Coq集合论中文教程
  ☆44Updated 3 years ago
• MarisaKirisame / resume
  ☆42Updated 2 months ago
• rowscript / rowscript
  RowScript programming language, making a better browser world
  ☆120Updated 2 weeks ago
• anqurvanillapy / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Updated last month
• w41ter / LL-Script
  Simple script
  ☆42Updated 7 years ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆74Updated 2 years ago
• Becavalier / brainfuck-jit-interpreter
  A handwritten Brainfuck JIT interpreter, mainly used for demonstration.
  ☆46Updated last year
• thautwarm / Rem
  (Deprecated)Rem Programming Language: a playful dynamic language with all modern syntax sugars.
  ☆25Updated 6 years ago