Thomas Liang's repositories
cakeml
CakeML: A Verified Implementation of ML
Language:Standard MLNOASSERTION000
oracle
A proof-of-concept for a digital version of the strategy card game Oracle! for the CSESoc Personal Projects Competition.
Language:Python000
Language:HTML000
Language:TypeScript000
tpk
A simple D&D combat tracker
Language:CBSD-2-Clause000