Giters
kokic

kokic

Geek Repo

84

followers

123

following

482

stars

Company:@San-Angeles @the-red-pixel @csausk

Location:Beijing, China

Home Page:kokic.github.io

Github PK Tool:Github PK Tool

Organizations
San-Angeles
the-red-pixel

kokic's repositories

UniTeX

A transpiler that converts TeX into Unicode (as possible).

Language:TypeScriptLicense:MITStargazers:15Issues:1Issues:4

algol

computer algebraic algorithm in lean4

Language:LeanLicense:MITStargazers:2Issues:1Issues:0

hashids-lean4

Lean4 implementation of http://hashids.org

Language:LeanLicense:MITStargazers:2Issues:0Issues:0

FukugenTeX

WIP.

Language:JavaScriptLicense:GPL-2.0Stargazers:1Issues:1Issues:0

kokic

License:GPL-2.0Stargazers:1Issues:1Issues:0

bicmr-ai4math.github.io

https://bicmr-ai4math.github.io

Language:TypeScriptStargazers:0Issues:0Issues:0

blog

source

Language:JavaScriptStargazers:0Issues:1Issues:0

camelus

Quisque venenatis suscipit accumsan. Etiam mattis ultricies arcu, eget feugiat odio facilisis in. Donec nec nulla faucibus, pretium elit in, imperdiet diam.

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

exhibit

Language:HTMLLicense:MITStargazers:0Issues:1Issues:0

HydTeaCC

a toy language, just for fun.

Language:C++Stargazers:0Issues:1Issues:0

ineq

samples in lean4

Language:LeanLicense:MITStargazers:0Issues:0Issues:0

jugendtraum

Minecraft again.

Language:C++License:MITStargazers:0Issues:0Issues:0

kokic.github.io

Language:HTMLStargazers:0Issues:0Issues:0

parsec

Language:JavaLicense:GPL-2.0Stargazers:0Issues:1Issues:0

dependency

temporary use

Language:HTMLStargazers:0Issues:0Issues:0

Manim-Template

Personal manim template, including python and tex.

License:MITStargazers:0Issues:1Issues:0

pomegao

stable diffusion prompts weight optimizer

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

quiver

A modern commutative diagram editor for the web.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

sast-skill-docs

SAST Skill Docs. We are paving the way for your CS studying.

Language:HTMLStargazers:0Issues:0Issues:0

TeX-Template

Personal tex template, including papers and slides.

Language:TeXStargazers:0Issues:1Issues:0

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

UniTeX-Website

this is the source code for the UniTeX website

Language:HTMLStargazers:0Issues:0Issues:1

vscode-markdown-it-katex

Add Math to your Markdown with a KaTeX plugin for Markdown-it

License:NOASSERTIONStargazers:0Issues:0Issues:0