kokic

𝖈𝖆𝖓𝖙𝖆 𝖕𝖊𝖗 𝖒𝖊 𝖆𝖉𝖉𝖎𝖔

@San-Angeles @the-red-pixel @csauskBeijing, China

Pinned Repositories

bicmr-ai4math.github.io
https://bicmr-ai4math.github.io
Language:TypeScript5 1 21
KaTeX
Fast math typesetting for the web.
Language:JavaScript17.9k 282 1.6k1.2k
algol
computer algebraic algorithm in lean4
Language:Lean20
bicmr-ai4math.github.io
https://bicmr-ai4math.github.io
Language:TypeScript00
blog
source
Language:JavaScript0 1 00
FukugenTeX
WIP.
Language:JavaScript1 1 00
hashids-lean4
Lean4 implementation of http://hashids.org
Language:Lean2 0 00
jugendtraum
Minecraft again.
Language:C++0 0 00
kokic
1 1 00
UniTeX
A transpiler that converts TeX into Unicode (as possible).
Language:JavaScript14 1 42

kokic's Repositories

kokic/UniTeX
A transpiler that converts TeX into Unicode (as possible).
Language:JavaScript14 1 42
kokic/algol
computer algebraic algorithm in lean4
Language:Lean20
kokic/hashids-lean4
Lean4 implementation of http://hashids.org
Language:Lean2 0 00
kokic/FukugenTeX
WIP.
Language:JavaScript1 1 00
kokic/kokic
1 1 00
kokic/bicmr-ai4math.github.io
https://bicmr-ai4math.github.io
Language:TypeScript00
kokic/blog
source
Language:JavaScript0 1 00
kokic/camelus
Quisque venenatis suscipit accumsan. Etiam mattis ultricies arcu, eget feugiat odio facilisis in. Donec nec nulla faucibus, pretium elit in, imperdiet diam.
Language:OCaml0 1 00
kokic/dynastes
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Donec eu viverra quam. Praesent sed magna non mi mollis porta. Nunc nibh urna, blandit ut massa vitae, auctor varius dolor.
Language:Haskell0 1 00
kokic/exhibit
Language:HTML0 1 00
kokic/HydTeaCC
a toy language, just for fun.
Language:C++0 1 00
kokic/ineq
samples in lean4
Language:Lean00
kokic/jugendtraum
Minecraft again.
Language:C++0 0 00
kokic/kokic.github.io
Language:HTML0 0 00
kokic/parsec
Language:Java0 1 00
kokic/potos-flavus
Kinkajou Cook Done Right
Language:Kotlin00
kokic/dependency
temporary use
Language:HTML
kokic/FEG-lean4
Formalizing Euclidean Geometry in Lean
Language:Lean
kokic/Manim-Template
Personal manim template, including python and tex.
1 0
kokic/pomegao
stable diffusion prompts weight optimizer
Language:JavaScript2 0
kokic/quiver
A modern commutative diagram editor for the web.
Language:JavaScript
kokic/sast-skill-docs
SAST Skill Docs. We are paving the way for your CS studying.
Language:HTML0 0
kokic/TeX-Template
Personal tex template, including papers and slides.
Language:TeX1 0
kokic/theorem_proving_in_lean4_zh_CN
Lean4中文教程
Language:HTML0 0
kokic/translated-content
The source repository of all translated content for MDN Web Docs
Language:Markdown0 0
kokic/typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:Rust0 0
kokic/UniTeX-Website
this is the source code for the UniTeX website
Language:HTML0 1
kokic/vscode-markdown-it-katex
Add Math to your Markdown with a KaTeX plugin for Markdown-it