Opinionated tool to typeset theorems, lemmas and such
☆30Feb 4, 2026Updated last month
Alternatives and similar repositories for typst-theoretic
Users that are interested in typst-theoretic are comparing it to the libraries listed below
Sorting:
- Straightforward and functional theorem/proof environments in Typst.☆17Feb 24, 2025Updated last year
- Marginnotes for typst with smart positioning☆74Dec 4, 2025Updated 3 months ago
- Typ2Anki is a tool that converts Typst documents into Anki flashcards.☆44Jan 14, 2026Updated last month
- A Typst package to display chessboards.☆34Jan 5, 2026Updated 2 months ago
- A Typst package for various enhancements for mathematical expressions.☆38Sep 17, 2025Updated 5 months ago
- A lightweight secure Self-evolution engine built in Rust, featuring a built-in native system-level sandbox, zero dependencies, and fully …☆45Updated this week
- Syntax trees for typst☆44Oct 2, 2025Updated 5 months ago
- Randomly play or sort the albums in the current mpd playlist☆12Mar 12, 2020Updated 5 years ago
- Hebrew-translated Disassembly of Pokémon Red/Blue☆11Sep 23, 2021Updated 4 years ago
- A Typst package for typesetting pseudocode☆89Feb 26, 2026Updated last week
- Anki addon for reviewing with mouse☆11Dec 7, 2025Updated 3 months ago
- A typst package for creating sub figures.☆52Sep 28, 2025Updated 5 months ago
- Introduction to neuroimaging machine learning tool Nilearn☆12Oct 24, 2024Updated last year
- A minimal JAX library for connectivity modelling at scale☆11Mar 3, 2026Updated last week
- Fusepool P3 Platform Reference Implementation☆13Apr 7, 2016Updated 9 years ago
- A word puzzle built with flutter.☆16Oct 10, 2025Updated 5 months ago
- Include PDF images in your Typst document☆107Oct 24, 2025Updated 4 months ago
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Oct 28, 2025Updated 4 months ago
- ilo nanpa li ilo pi nasin nanpa pi toki pona.☆13Jan 15, 2019Updated 7 years ago
- A visual life management system. Map your personal life, see all your projects in one place, prioritize ruthlessly, and delegate the oper…☆31Mar 3, 2026Updated last week
- ☆13Dec 5, 2022Updated 3 years ago
- Typst Simple Icons Package☆21Mar 2, 2026Updated last week
- a ODH wrapper for Zotero☆15Feb 2, 2026Updated last month
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- A guide to running Linux VM and container on Android.☆37Aug 26, 2025Updated 6 months ago
- A clean and minimal template for your CV or résumé.☆12Apr 2, 2025Updated 11 months ago
- A handy CLI for executing code in a REPL in a separate pane☆16Oct 18, 2025Updated 4 months ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 2 months ago
- A Blarb virtual machine☆14Mar 15, 2020Updated 5 years ago
- ☆11Dec 9, 2025Updated 3 months ago
- Perform graph operations on a collection of interlinked Markdown files (or Obsidian, VimWiki, Zettlr, or Neuron)☆12Jan 6, 2026Updated 2 months ago
- Tidy autoregressive inference in JAX☆15Sep 1, 2025Updated 6 months ago
- Image viewer for the 8-bit Uxn/Varvara virtual machine☆13Jul 16, 2025Updated 7 months ago
- Quantum Wordle☆14Feb 7, 2025Updated last year
- berg 🦀 Transform the contents of Epub documents.☆10Apr 27, 2023Updated 2 years ago
- ☆12Jan 30, 2025Updated last year
- Anki 2.1.20+ add-on to adjust the sound volume☆11Jan 3, 2024Updated 2 years ago
- Jflap but in the Rust programming language and React framework for Javascript. Made by Misha Ryabko (https://www.github.com/Reisande) and…☆12Dec 11, 2022Updated 3 years ago
- WORDLE for DOS, written in assembly☆12Jan 4, 2023Updated 3 years ago