Giters
Thomas Liang (ShunyaoLiang)

ShunyaoLiang

Geek Repo

12

followers

3

following

15

stars

Home Page:shunyaoliang.xyz

Github PK Tool:Github PK Tool

Thomas Liang's repositories

cakeml

CakeML: A Verified Implementation of ML

Language:Standard MLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

oracle

A proof-of-concept for a digital version of the strategy card game Oracle! for the CSESoc Personal Projects Competition.

Language:PythonStargazers:0Issues:0Issues:0

ShunyaoLiang.github.io

Language:HTMLStargazers:0Issues:0Issues:0

aurae

Language:TypeScriptStargazers:0Issues:0Issues:0

davis

An SDD Pseudocode implementation.

Language:Common LispLicense:MITStargazers:2Issues:0Issues:0

nwhen

A simple calendar program using a Lisp domain language.

Language:Common LispLicense:BSD-2-ClauseStargazers:1Issues:0Issues:0

torch

Language:RustLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

tpk

A simple D&D combat tracker

Language:CLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0