xkevio / typst-ankiView external linksLinks
Typst Math within Anki flashcards.
☆16Feb 4, 2025Updated last year
Alternatives and similar repositories for typst-anki
Users that are interested in typst-anki are comparing it to the libraries listed below
Sorting:
- Typ2Anki is a tool that converts Typst documents into Anki flashcards.☆39Jan 14, 2026Updated last month
- multi platform game engine☆11Sep 1, 2025Updated 5 months ago
- Typst Mathematical Expression OCR☆105Mar 25, 2025Updated 10 months ago
- A Dart library to decode audio files☆11Jan 6, 2025Updated last year
- Aware Driving (AD) is a mobile app that will assist you while you are driving.☆11Apr 6, 2025Updated 10 months ago
- War Thunder news app with exclusive features☆10May 10, 2023Updated 2 years ago
- Monitor your study sessions, log your study hours, set goals, and watch your productivity progress.☆10May 19, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Navand, meaning "a swift horse" in Persian, is a web framework in Dart that lets developers create UIs with a widget model similar to Flu…☆10Jan 17, 2024Updated 2 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- ☆13Feb 18, 2023Updated 2 years ago
- ☆11Dec 9, 2025Updated 2 months ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- Plugin for Neovim to enhance the experience of developing a site using a static site generator.☆11Dec 29, 2023Updated 2 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Mar 30, 2011Updated 14 years ago
- An intermediate representation language for JITs☆12Jan 11, 2026Updated last month
- Self-hosted private chat — your server, your rules. No cloud, no telemetry, no Big Tech. Discord alternative that runs on your own machin…☆55Updated this week
- A CLI tool to read pages from the Archwiki☆12Apr 30, 2024Updated last year
- Benchmarking LLMs on Typst☆19May 26, 2025Updated 8 months ago
- Explore a large 2GB dataset of soil measurements taken across the US☆10Feb 27, 2025Updated 11 months ago
- A tbl-like preprocessor for Typst☆11Oct 20, 2025Updated 3 months ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- MATLAB implementation of the Speech Transmission Index for Public Address (STIPA) method for evaluating the speech transmission quality.☆17Apr 15, 2025Updated 10 months ago
- Glue between Rust and Android☆15Apr 28, 2025Updated 9 months ago
- Agda to C compiler☆10Sep 23, 2025Updated 4 months ago
- QGIS Processing from Julia☆10Dec 9, 2025Updated 2 months ago
- A chip8 emulator made in gameboy assembly for the gameboy☆16Aug 12, 2021Updated 4 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆12Nov 17, 2022Updated 3 years ago
- An unofficial api for searching and scraping the japanese dictionary Jisho.org☆13Mar 10, 2023Updated 2 years ago
- Accompanying documentation that were used in the Dolwin development process☆11Sep 15, 2023Updated 2 years ago
- Ideas for the decipherment of Easter Island's rongorongo writing☆11Sep 4, 2023Updated 2 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated last month
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- Basic utility to launch an ARM binary from the SD card of a Wii.☆15Feb 19, 2024Updated last year
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- A powerful and user-friendly Typst package for drawing physics diagrams.☆15Dec 24, 2025Updated last month