Typst Math within Anki flashcards.
☆20Jul 12, 2026Updated 3 months ago
Alternatives and similar repositories for typst-anki
Users that are interested in typst-anki are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Typ2Anki is a tool that converts Typst documents into Anki flashcards.☆53Sep 16, 2026Updated last month
- Template for documenting Typst Packages and Templates.☆64Jul 8, 2026Updated 3 months ago
- Type safe type safety for Typst☆60Sep 5, 2026Updated last month
- Dialouge template☆19Feb 4, 2025Updated last year
- A software to turn crease patterns into instructions☆16Feb 10, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A template for Paris-Salcay PhD thesis☆12Apr 20, 2026Updated 6 months ago
- Using OCR to convert images of formulas into Typst code.☆18Jul 27, 2025Updated last year
- Typst symbol classifier☆266Oct 14, 2026Updated 2 weeks ago
- Typst Mathematical Expression OCR☆110Mar 25, 2025Updated last year
- ParCIO-inspired thesis, report & slides template made with Typst.☆18Jul 16, 2026Updated 3 months ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 9 months ago
- Find duplicate dependencies in flakes☆36Oct 4, 2026Updated 3 weeks ago
- A template to start your Typst package repositories from☆56Jul 8, 2026Updated 3 months ago
- Benchmarking LLMs on Typst☆23May 26, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Convert Typst equations into functions☆35Nov 18, 2025Updated 11 months ago
- Growing networks module for pytorch☆18Oct 16, 2026Updated last week
- A Twitch Bot for maximum user interaction and chat spam induction.☆17May 5, 2022Updated 4 years ago
- Synthesis of loop-free programs☆25Oct 22, 2026Updated last week
- Typst package (libraries, templates) publishing utilty CLI tool☆35Aug 4, 2026Updated 2 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- A tbl-like preprocessor for Typst☆12Jun 9, 2026Updated 4 months ago
- A lecture notes template based on Typst☆32Aug 11, 2025Updated last year
- Brainfuck interpreter for GameBoy Advance!☆13Jan 31, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Parse equations with Typst and manipulate or evaluate them.☆14Jun 5, 2026Updated 4 months ago
- Elaboration of cumulative universe hierarchies☆13Oct 12, 2026Updated 2 weeks ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 6 years ago
- 🎨 Drawing images with lambda calculus☆12Aug 27, 2026Updated 2 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- typst-ansi-hl highlights your Typst code☆15Jan 24, 2026Updated 9 months ago
- ARM binary to C static recompiler, eventually a 3ds emulator using the Windows Hypervisor Platform. So bad it's radioactive !☆10Oct 17, 2025Updated last year
- A Game Boy and Game Boy Color emulator in Rust.☆35Feb 6, 2024Updated 2 years ago
- 3D Line Art Engine - Rust rewrite of @fogleman/ln☆38May 26, 2026Updated 5 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A typst package for creating sub figures.☆57Sep 28, 2025Updated last year
- Disassembly of the game.com boot ROM☆13Dec 10, 2020Updated 5 years ago
- Haskell implementation of the categorical abstract machine☆14Apr 27, 2017Updated 9 years ago
- 🍎 BadApple-STM32-VcanLCD（128 * 64）-ff文件系统-SPI_MicroSD☆13May 15, 2018Updated 8 years ago
- ☆12Jan 2, 2023Updated 3 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆12Dec 6, 2016Updated 9 years ago
- A Type Stable Composable CLI Parser☆11Oct 15, 2026Updated 2 weeks ago