Giters
Li Jiatu (ljt12138)

ljt12138

Geek Repo

49

followers

7

following

3

stars

Company:Tsinghua University

Github PK Tool:Github PK Tool

Li Jiatu's starred repositories

mirage

A multi-level tensor algebra superoptimizer

Language:C++License:Apache-2.0Stargazers:285Issues:0Issues:0

mpl

A Henkin-style completeness proof for the modal logic S5

Language:LeanLicense:Apache-2.0Stargazers:13Issues:0Issues:0

LightRenderer

Light Renderer by LazyJazz

Language:C++Stargazers:7Issues:0Issues:0