Pinned Repositories
bicmr-ai4math.github.io
https://bicmr-ai4math.github.io
KaTeX
Fast math typesetting for the web.
algol
computer algebraic algorithm in lean4
bicmr-ai4math.github.io
https://bicmr-ai4math.github.io
blog
source
FukugenTeX
WIP.
hashids-lean4
Lean4 implementation of http://hashids.org
jugendtraum
Minecraft again.
kokic
UniTeX
A transpiler that converts TeX into Unicode (as possible).
kokic's Repositories
kokic/UniTeX
A transpiler that converts TeX into Unicode (as possible).
kokic/algol
computer algebraic algorithm in lean4
kokic/hashids-lean4
Lean4 implementation of http://hashids.org
kokic/FukugenTeX
WIP.
kokic/kokic
kokic/bicmr-ai4math.github.io
https://bicmr-ai4math.github.io
kokic/blog
source
kokic/camelus
Quisque venenatis suscipit accumsan. Etiam mattis ultricies arcu, eget feugiat odio facilisis in. Donec nec nulla faucibus, pretium elit in, imperdiet diam.
kokic/exhibit
kokic/HydTeaCC
a toy language, just for fun.
kokic/ineq
samples in lean4
kokic/jugendtraum
Minecraft again.
kokic/kokic.github.io
kokic/parsec
kokic/dependency
temporary use
kokic/Manim-Template
Personal manim template, including python and tex.
kokic/pomegao
stable diffusion prompts weight optimizer
kokic/quiver
A modern commutative diagram editor for the web.
kokic/sast-skill-docs
SAST Skill Docs. We are paving the way for your CS studying.
kokic/TeX-Template
Personal tex template, including papers and slides.
kokic/typst
A new markup-based typesetting system that is powerful and easy to learn.
kokic/UniTeX-Website
this is the source code for the UniTeX website
kokic/vscode-markdown-it-katex
Add Math to your Markdown with a KaTeX plugin for Markdown-it