nleanba / typst-theoreticView external linksLinks
Opinionated tool to typeset theorems, lemmas and such
☆27Feb 4, 2026Updated last week
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 11 months ago
- Marginnotes for typst with smart positioning☆70Dec 4, 2025Updated 2 months ago
- Typ2Anki is a tool that converts Typst documents into Anki flashcards.☆39Jan 14, 2026Updated last month
- A Typst package to display chessboards.☆33Jan 5, 2026Updated last month
- A Typst package for various enhancements for mathematical expressions.☆38Sep 17, 2025Updated 5 months ago
- Syntax trees for typst☆44Oct 2, 2025Updated 4 months ago
- Hebrew-translated Disassembly of Pokémon Red/Blue☆11Sep 23, 2021Updated 4 years ago
- Randomly play or sort the albums in the current mpd playlist☆11Mar 12, 2020Updated 5 years ago
- A Typst package for typesetting pseudocode☆89Oct 30, 2025Updated 3 months ago
- A minimal JAX library for connectivity modelling at scale☆11Jan 27, 2026Updated 3 weeks ago
- Introduction to neuroimaging machine learning tool Nilearn☆12Oct 24, 2024Updated last year
- A word puzzle built with flutter.☆16Oct 10, 2025Updated 4 months ago
- Fusepool P3 Platform Reference Implementation☆13Apr 7, 2016Updated 9 years ago
- A typst package for creating sub figures.☆51Sep 28, 2025Updated 4 months ago
- Anki addon for reviewing with mouse☆11Dec 7, 2025Updated 2 months ago
- Include PDF images in your Typst document☆107Oct 24, 2025Updated 3 months ago
- ☆13Dec 5, 2022Updated 3 years ago
- A Blarb virtual machine☆14Mar 15, 2020Updated 5 years ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated last year
- 一个用于批量导出 ChatGPT 对话记录的工具,支持个人空间和团队 空间的对话导出,可导出为 JSON 或 Markdown 格式。☆42Feb 3, 2026Updated 2 weeks ago
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Oct 28, 2025Updated 3 months ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated last month
- Typst Simple Icons Package☆20Updated this week
- 🔭 | A Gitmoji plugin for Neovim using Telescope☆10Jan 29, 2025Updated last year
- Perform graph operations on a collection of interlinked Markdown files (or Obsidian, VimWiki, Zettlr, or Neuron)☆11Jan 6, 2026Updated last month
- The QGIS plugin provides access to the WMS services of the Spatial Data Infrastructure TerraBrasilis.☆12Oct 24, 2025Updated 3 months ago
- Translate word embeddings across models☆10Aug 17, 2020Updated 5 years ago
- Quantum Wordle☆14Feb 7, 2025Updated last year
- ilo nanpa li ilo pi nasin nanpa pi toki pona.☆13Jan 15, 2019Updated 7 years ago
- WORDLE for DOS, written in assembly☆12Jan 4, 2023Updated 3 years ago
- Image viewer for the 8-bit Uxn/Varvara virtual machine☆13Jul 16, 2025Updated 7 months ago
- A clean and minimal template for your CV or résumé.☆12Apr 2, 2025Updated 10 months ago
- A guide to running Linux VM and container on Android.☆36Aug 26, 2025Updated 5 months ago
- berg 🦀 Transform the contents of Epub documents.☆10Apr 27, 2023Updated 2 years ago
- ☆11Dec 9, 2025Updated 2 months ago
- a ODH wrapper for Zotero☆14Feb 2, 2026Updated 2 weeks 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
- Reboot surviving tmux session persistence via standardized shell scripts representing each session☆21May 31, 2013Updated 12 years ago
- Anki 2.1.20+ add-on to adjust the sound volume☆11Jan 3, 2024Updated 2 years ago