Pinned Repositories
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
AndyShiue.github.io
我未來的部落格？
derivation
Deriving traits for C-like enums using macro 1.1.
ende
Ende-readme
Ende is a hypothetical programming language.
for_dad
This is an app for my dad.
NTHU
清華大學特殊選才學習成果報告書
pts
implementation of Pure Type Systems (PTS) in Rust.
StateTExample
StateTExample
AndyShiue's Repositories
AndyShiue/pts
implementation of Pure Type Systems (PTS) in Rust.
AndyShiue/Ende-readme
Ende is a hypothetical programming language.
AndyShiue/derivation
Deriving traits for C-like enums using macro 1.1.
AndyShiue/ende
AndyShiue/AndyShiue.github.io
我未來的部落格？
AndyShiue/NTHU
清華大學特殊選才學習成果報告書
AndyShiue/StateTExample
StateTExample
AndyShiue/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
AndyShiue/for_dad
This is an app for my dad.
AndyShiue/HoTTEST-Summer-School
HoTTEST Summer School materials
AndyShiue/logic
AndyShiue/nom
Rust parser combinator framework
AndyShiue/gbback
gbback
AndyShiue/GBMode
guabao vscode extension
AndyShiue/gcl
backend of Guabao
AndyShiue/guabao-tests
Tests for Guabao.
AndyShiue/sail-riscv
Sail RISC-V model
AndyShiue/sakura
落櫻散華抄
AndyShiue/sakura-guide
落櫻散華抄 手冊
AndyShiue/wah