A Lean 4 formalization of Pólya enumeration theorem.

Saracroche is an iOS app that blocks unwanted calls.

moderncv in typst

Linux running inside a PDF file via a RISC-V emulator

A Typst template for arXiv

Rust bindings to KaTeX

A post-modern modal text editor.

Reuters Redirect and Proxy

Low level HTTP server library in Rust

Mirror of https://gitlab.com/verso-browser/verso

Main repository of SageMath

Export messages from Signal Android backups

Export messages from Signal Desktop

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

A few themes for the helix editor

Awesome Typst Links

MiniJinja is a powerful but minimal dependency template engine for Rust compatible with Jinja/Jinja2

Read e-books in style

🎮 A collection of lightweight, up-to-date, pre-generated, specification compliant, localized emoji JSON datasets, regex patterns, and more.

An efficient, reliable parser for CommonMark, a standard dialect of Markdown

An SVG rendering library.

All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).

A compilation of sites with dumb password rules.

[Deprecated] An early language server for Typst, plus a VS Code extension

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Present calendar generator for Dominika&Daniel wedding

The source of csszengarden.com

Counterexamples in Type Systems

Modern, extensible Python project management

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