ljt12138

Tsinghua University

Pinned Repositories

Cutepiler-Sysy2020
A compiler for Sysy2020 (a C-like toy language) on ARMv7-a
Language:C++0 2 00
Bounded-Arithmetic-Reading-Group
Resource/Notification of Bounded Arithmetic Reading Group at MIT, 2024 Fall
10
Cqq-Project
A Simple Interpreter For A Small Subset of C++
Language:C++1 3 00
Formalization-PAL
A formalization of PAL+modal logic S5 in Lean, as an experiment to formalize logic systems in proof assistant
Language:Lean6 2 01
Hyper-OS
Operating System Simulator
Language:C++0 1 00
ljt12138.github.io
test page
Language:HTML00
Proof-of-Surreal
A formal proof of NOI 2020 D2T2
Language:Lean8 2 01
Puzzle-Toad-CN
Puzzle Toad : Statements and Solutions
00
Hyper-OS
Operating System Simulator
Language:C++19 1 05
tywz243.github.com
太原五中243官方网站
Language:CSS00

ljt12138's Repositories

ljt12138/Proof-of-Surreal
A formal proof of NOI 2020 D2T2
Language:Lean8 2 01
ljt12138/Formalization-PAL
A formalization of PAL+modal logic S5 in Lean, as an experiment to formalize logic systems in proof assistant
Language:Lean6 2 01
ljt12138/Bounded-Arithmetic-Reading-Group
Resource/Notification of Bounded Arithmetic Reading Group at MIT, 2024 Fall
10
ljt12138/Cqq-Project
A Simple Interpreter For A Small Subset of C++
Language:C++1 3 00
ljt12138/Hyper-OS
Operating System Simulator
Language:C++0 1 00
ljt12138/ljt12138.github.io
test page
Language:HTML00
ljt12138/Puzzle-Toad-CN
Puzzle Toad : Statements and Solutions
00