Skip to content
View ozekik's full-sized avatar
💺
💺

Highlights

  • Pro

Organizations

@japan-opendata @project-koudou @kban-dev @owntwin @omws @DigitalFormalLogic

Block or report ozekik

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Stars

typst

11 repositories

Typst Package to typeset inference rule

Typst 58 7 Updated Feb 21, 2026

Prooftrees for Typst - Inspired by Latex's bussproofs

Typst 20 1 Updated Apr 29, 2024

Touying is a powerful package for creating presentation slides in Typst.

Typst 1,911 58 Updated Feb 19, 2026

More powerful and customizable tables in Typst

Typst 405 14 Updated Oct 25, 2024

My typst templates & utilities (WIP)

Typst 27 Updated Oct 21, 2025

Easily create beautiful preprints in Typst

Typst 304 16 Updated Aug 4, 2024

Awesome Typst Links

Emacs Lisp 3,316 155 Updated Dec 7, 2025

A versatile, clean and minimal template for non-fiction writing. Ideal for class notes, reports, and books.

Typst 191 27 Updated Feb 5, 2026

A typst package for displaying the active section in the page header or footer.

Typst 65 6 Updated Feb 16, 2026
Typst 9 1 Updated Aug 15, 2025

Out-of-the-box, customizable and multilingual theorem environment package for Typst.

Typst 107 10 Updated Dec 18, 2025