ChAoS_UnItY (Kyle Lin)'s Projects
agda-mode on VS Code
This is meant to store practices source for the agda PL.
阿美語萌典網站
A curated list of awesome V frameworks, libraries, software and resources.
WIP Bitmap font format, font editor, typesetter, and text editor backend
The source of my blog (written in VuePress)
A BNF document generator targets Rust mdbook
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
A general usage parser used to parse class file into structural nodes.
Personal Blog
A Class file assistance, enables you to track down the decompilation of class file
Cleanroom Minecraft.
colorize your console with V!
An example compiler used in COSCUP 2021.
C preprocessor Experimental edition used for formal verification
A port of my Diagnose library for Java
A diagnostic library for parser / interpreter usages, a kotlin port of Nenggao.
🖋️ Update your discord status with the newly added rich presence
A successor bnf parsing library of bnf parsing library, for parsing Extended Backus–Naur form context-free grammars
A new generation of station system library in Minecraft!
Fabric version of Eki Lib!
A station decoration mod inspired by 1.7.10 Station Mod!
A WIP Stack VM Language transpile into LLVM
Concatenative programming language but written in Mandarin?!?! PogChamp 串接堆疊導向程式語言但是用中文撰寫?!?! 太神啦