AndyShiue's repositories

pts

implementation of Pure Type Systems (PTS) in Rust.

Language:RustStargazers:51Issues:0Issues:0

Ende-readme

Ende is a hypothetical programming language.

Language:RustLicense:LGPL-3.0Stargazers:4Issues:6Issues:0

derivation

Deriving traits for C-like enums using macro 1.1.

Language:RustStargazers:3Issues:0Issues:0

AndyShiue.github.io

我未來的部落格?

Language:HTMLStargazers:1Issues:0Issues:0

NTHU

清華大學特殊選才學習成果報告書

Language:HTMLStargazers:1Issues:0Issues:0

StateTExample

StateTExample

Language:HaskellStargazers:1Issues:0Issues:0

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Language:AgdaLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

for_dad

This is an app for my dad.

Language:RustStargazers:0Issues:0Issues:0

HoTTEST-Summer-School

HoTTEST Summer School materials

Language:TeXStargazers:0Issues:0Issues:0
Language:CSSLicense:MITStargazers:0Issues:0Issues:0

nom

Rust parser combinator framework

Language:RustLicense:MITStargazers:0Issues:0Issues:0

gbback

gbback

Language:CLicense:MITStargazers:0Issues:0Issues:0

GBMode

guabao vscode extension

Language:TypeScriptStargazers:0Issues:0Issues:0

sakura

落櫻散華抄

Stargazers:0Issues:0Issues:0

sakura-guide

落櫻散華抄 手冊

Language:HaskellStargazers:0Issues:0Issues:0
Language:CSSStargazers:0Issues:0Issues:0