zacharie-moughanim
Follow
-
codex Public
Forked from typst/codexA human-friendly notation for Unicode symbols.
Rust Apache License 2.0 UpdatedApr 8, 2026 -
-
-
-
packages Public
Forked from typst/packagesPackages for Typst.
Rust Apache License 2.0 UpdatedOct 15, 2025 -
ens-rennes-presentation Public
A typst template for writing presentations following the guidelines of the ENS Rennes graphic charter
-
-
lovelace Public
Forked from andreasKroepelin/lovelaceA Typst package for typesetting pseudocode
Typst MIT License UpdatedAug 11, 2025 -
clutch Public
Forked from logsem/clutchProbabilistic separation logics for verifying higher-order probabilistic programs.
Rocq Prover MIT License UpdatedJul 25, 2025 -
curryst Public
Forked from pauladam94/currystTypst Package to typeset inference rule
Typst MIT License UpdatedFeb 20, 2025 -
-
-
pedago-rennes Public
Forked from InfoSansOrdi/pedago-rennesMatériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
JavaScript UpdatedMay 7, 2024 -