Skip to content
View kokic's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.

Highlights

  • Pro

Organizations

@the-red-pixel @San-Angeles

Block or report kokic

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
kokic/README.md

  • DON'T LOSE YOUR WAY IN YOUR MIND

$$0\gt-\int_S(\text{Poincar$\acute{\text{e}}$ metric})=4\pi(1-g)$$

Infrastructure

Application

Pinned Loading

  1. kodama-community/kodama kodama-community/kodama Public

    A Typst-friendly static Zettelkästen site generator.

    Rust 217 15

  2. frenzymath/jixia frenzymath/jixia Public

    A static analysis tool for Lean 4.

    Lean 128 13

  3. UniTeX UniTeX Public

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

    TypeScript 23 5

  4. mooncraft mooncraft Public

    work in progress

    MoonBit 30 4

  5. altsia/altsia altsia/altsia Public

    An experimental markup language that respects document calculus.

    MoonBit 15

  6. talcparsec talcparsec Public

    MoonBit