compilers-lectures

Lectures on [email protected].

Lectures

• 2020
• 2021

In the following years, I may try

Tools

• [x] ANTLR (2021)
• [ ] Lark
• [ ] LLVM (IR)
• [ ] Clang
• [ ] stack machine
• [ ] MMIX
• [ ] LSP (Language Sever Protocol)

Parsers

• [ ] Ocamlyacc
• [ ] yecc
• [ ] [PLY (Python Lex-Yacc)](https://www.dabeaz.com/ply/ply.htm l)
• [ ] Parser Tools: lex and yacc-style Parsing on Racket
• [ ] javaparser
• [ ] tree-sitter

  An incremental parsing system for programming tools

Languages

• [ ] PL/0
• [ ] tiny-c
• [ ] SQL
  • [ ] DuSQL
  • [ ] mysql-workbench
• [ ] FPs
• [ ] Web Assembly
• [ ] TLA+
  • [ ] TLA+ Web UI Prototype
  • [ ] tree-sitter-tlaplus
• [ ] PlusCal
• [ ] TLAPS
• [ ] Mathematica

Labs

• [ ] 编译原理系统竞赛
• [ ] RISC-V

Platforms

• [ ] 头歌
  • [ ] Chinasoft2022 程序设计教育论坛