kokic

UniTeX

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

algol

computer algebraic algorithm in lean4

hashids-lean4

Lean4 implementation of http://hashids.org

FukugenTeX

WIP.

kokic

bicmr-ai4math.github.io

https://bicmr-ai4math.github.io

blog

source

camelus

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

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.

exhibit

HydTeaCC

a toy language, just for fun.

ineq

samples in lean4

jugendtraum

Minecraft again.

kokic.github.io

parsec

potos-flavus

Kinkajou Cook Done Right

dependency

temporary use

FEG-lean4

Formalizing Euclidean Geometry in Lean

Manim-Template

Personal manim template, including python and tex.

pomegao

stable diffusion prompts weight optimizer

quiver

A modern commutative diagram editor for the web.

sast-skill-docs

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

TeX-Template

Personal tex template, including papers and slides.

theorem_proving_in_lean4_zh_CN

Lean4中文教程

translated-content

The source repository of all translated content for MDN Web Docs

typst

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

UniTeX-Website

this is the source code for the UniTeX website

vscode-markdown-it-katex

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