Skip to content
View asdia0's full-sized avatar
🤡
clownin
🤡
clownin

Organizations

@Voopmont

Block or report asdia0

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

Starred repositories

Showing results

This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general

TeX 38 5 Updated Aug 29, 2025

A Python package providing the command line interface for building flexible and accessible content with Chirun.

Python 33 4 Updated Dec 16, 2025

A modern commutative diagram editor for the web.

JavaScript 3,407 109 Updated Oct 6, 2025

A Portable Graphic Format for TeX

TeX 1,282 113 Updated Dec 15, 2025

A modern LaTeX Beamer theme

TeX 6,746 857 Updated Nov 23, 2022

My Cambridge Lecture Notes

TeX 1,458 319 Updated Jul 14, 2024

Math OCR model that outputs LaTeX and markdown

Python 1,103 89 Updated Jan 29, 2025

A typographically elegant, clean, and structured LaTeX template.

TeX 243 14 Updated Sep 11, 2025

LaTeX.css is a CSS library that makes your website look like a LaTeX document

HTML 3,414 146 Updated May 15, 2025

Examples of how to create colorful, annotated equations in Latex using Tikz.

TeX 3,889 216 Updated Jul 12, 2022

The math library of Lean 4

Lean 2,692 957 Updated Dec 24, 2025

An Infinitely Large Napkin

TeX 1,784 164 Updated Dec 23, 2025

A statically-generated site to host my math course notes in university.

Markdown 456 23 Updated Jun 30, 2025

Draw a minesweeper board in LaTeX.

TeX 6 2 Updated Oct 1, 2023

Minesweeper player, solver and analyser in javascript

JavaScript 155 25 Updated Dec 20, 2025