Typst blog template based on Zola, typst.ts, and apollo.
☆40Jun 8, 2025Updated 8 months ago
Alternatives and similar repositories for apollo-typst
Users that are interested in apollo-typst are comparing it to the libraries listed below
Sorting:
- ☆27Jun 10, 2025Updated 8 months ago
- My blog.☆24Nov 10, 2025Updated 3 months ago
- A type-driven and high-performance ORM framework in Rust☆31Jun 13, 2025Updated 8 months ago
- Cosmo is a language replacing awful C++'s compile-time magics☆12Jun 14, 2025Updated 8 months ago
- shiroa is a simple tool for creating modern online books in pure typst.☆608Dec 14, 2025Updated 2 months ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Feb 7, 2025Updated last year
- Forge wonderful chat messages in typst☆108Dec 16, 2025Updated 2 months ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆19Jun 25, 2022Updated 3 years ago
- Prooftrees for Typst - Inspired by Latex's bussproofs☆20Apr 29, 2024Updated last year
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆55Apr 10, 2024Updated last year
- RowScript programming language, making a better browser world☆125Jan 5, 2026Updated last month
- A powerful, easy-to-use, modern Java core library for the future☆63Jan 17, 2026Updated last month
- All-in-one Typst integration for Astro☆167Jan 6, 2026Updated last month
- Experimental support for importing Kotlin code into Java projects via a JDT.LS extension☆28Jul 29, 2024Updated last year
- Elm bindings for regl.☆12Jun 19, 2025Updated 8 months ago
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 10 months ago
- Simple visualized cetz editor☆11Apr 22, 2025Updated 10 months ago
- [DEPRECATED] Use tinymist instead☆443Jul 7, 2024Updated last year
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- Python interpreter written in Nim (C or Js backend)☆15Feb 20, 2026Updated last week
- 在 Telegram 上快速模仿迟先生卖弱。☆16Feb 16, 2026Updated 2 weeks ago
- 3D Plotting Package for Typst using CeTZ. Similar functionality to pgfplots for LaTeX.☆93Sep 11, 2025Updated 5 months ago
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆32Apr 29, 2023Updated 2 years ago
- HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.☆24Sep 25, 2011Updated 14 years ago
- A proof assistant and a dependently-typed language☆349Feb 22, 2026Updated last week
- Run Typst in JavaScriptWorld.☆999Feb 12, 2026Updated 2 weeks ago
- Deprecated☆39Nov 2, 2025Updated 4 months ago
- A rust crate providing a vector like struct that stores data as runs of identical values.☆15Feb 19, 2021Updated 5 years ago
- ☆12Aug 19, 2021Updated 4 years ago
- Repository of all kinds of entities.☆14Oct 23, 2022Updated 3 years ago
- ☆17Oct 20, 2024Updated last year
- ☆11Sep 15, 2024Updated last year
- Draw elegant metro maps with ease☆40Aug 12, 2025Updated 6 months ago
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated last year
- News about typst. 泰普斯屯Typst信息汇总☆18Feb 18, 2026Updated last week
- 一个基于 UNO 平台的第三方酷安客户端☆17Jan 24, 2026Updated last month
- Typst package for drawing diagrams with arrows, built on top of CeTZ.☆927Feb 4, 2026Updated 3 weeks ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆16Mar 12, 2022Updated 3 years ago