plans.md

Plans

In the following years, I may try

Theory

• Adaptive LL(star) algorithm (2022)

Projects

• CompCert

Tools

• ANTLR (2021)
• LLVM (IR; 2022)
• Lark (2023)
• Clang
• stack machine
• MMIX
• LSP (Language Sever Protocol)
• Python Language Services
  • Python provides a number of modules to assist in working with the Python language. These modules support tokenizing, parsing, syntax analysis, bytecode disassembly, and various other facilities.

Parsers

• javaparser
• tree-sitter

  An incremental parsing system for programming tools

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

Languages

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

Labs

• 编译原理系统竞赛 (2022)
• RISC-V
• 树莓派

Platforms

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