Chesium

keep innovating

National University of SingaporeSingapore

Pinned Repositories

autobak
once insert a disk, backup specific files automatically
Language:PowerShell00
Chesium.github.io
Language:HTML00
Deduchain
Geometric deduction manager. ( In Dev )
Language:Prolog00
DPLL
An implementation of basic (without heuristic functions) DPLL algorithm.
Language:C++41
GeoCoq-zh
GeoCoq, Chinese translation.
Language:Coq0 0 00
Geomatrica
A CGS (computer geometry system)
Language:TypeScript00
KaTeX
Fast math typesetting for the web.
Language:JavaScript00
Lean-js-Test-Suit
Language:CSS00
lean-web-editor-zh_cn
Lean web editor 中文翻译版
Language:TypeScript00
pptcpy
once open a file, copy it
00

Chesium's Repositories

Chesium/DPLL
An implementation of basic (without heuristic functions) DPLL algorithm.
Language:C++41
Chesium/autobak
once insert a disk, backup specific files automatically
Language:PowerShell00
Chesium/Chesium.github.io
Language:HTML00
Chesium/Deduchain
Geometric deduction manager. ( In Dev )
Language:Prolog00
Chesium/GeoCoq-zh
GeoCoq, Chinese translation.
Language:Coq0 0 00
Chesium/Geomatrica
A CGS (computer geometry system)
Language:TypeScript00
Chesium/KaTeX
Fast math typesetting for the web.
Language:JavaScript00
Chesium/Lean-js-Test-Suit
Language:CSS00
Chesium/lean-web-editor-zh_cn
Lean web editor 中文翻译版
Language:TypeScript00
Chesium/pptcpy
once open a file, copy it
00
Chesium/relnote
Language:TypeScript
Chesium/tapebot
Language:Python
Chesium/UniType
A C++-based symbolic computation library
Language:C++