• Joined on 2024年08月16日
Filter
Sort
Updated 2026年04月18日 21:18:05 +02:00
Convert your Typst equations to MathML
Updated 2026年03月17日 12:19:50 +01:00
A small program showing how big the formulas in the proof of the NP-completeness of SAT by Cook & Levin are
Updated 2026年02月14日 16:06:45 +01:00
A cli to create reveal.js presentations
Updated 2025年04月13日 21:35:02 +02:00
A simple programming language
Updated 2025年04月13日 21:34:03 +02:00