Tian Xia's repositories
TicketSystem-Automata
SJTU-ACM Data-Structure 2021 assignment 2.
RISC-V_Simulator
SJTU-ACM PPCA assignment 0.
DistributedHashTable
SJTU-ACM PPCA assignment 1.
IOSpeedRun
Operating System DIY HOMEWORK 1.
skypilot
SkyPilot is a framework for easily running machine learning workloads on any cloud through a unified interface.
Language:PythonApache-2.0000
tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
Language:PythonApache-2.0000
LTLModelChecking
Assignment for CS3959, Model Checking, ACM Class.
Language:Python000
ray
Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.
Apache-2.0000
TypoClassifier
Machine Learning HOMEWORK, a naive text classifier with robust to misspelled words.