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
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Monitor your study sessions, log your study hours, set goals, and watch your productivity progress.☆10May 19, 2024Updated last year
- War Thunder news app with exclusive features☆10May 10, 2023Updated 2 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- ☆13Feb 18, 2023Updated 2 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- Solver for 1D nonlinear partial differential equations in Julia based on the collocation method of Skeel and Berzins and providing an API…☆15Aug 5, 2024Updated last year
- Glue between Rust and Android☆15Apr 28, 2025Updated 9 months ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- An intermediate representation language for JITs☆12Jan 11, 2026Updated last month
- MATLAB implementation of the Speech Transmission Index for Public Address (STIPA) method for evaluating the speech transmission quality.☆17Apr 15, 2025Updated 10 months ago
- Disassembly of the game.com boot ROM☆12Dec 10, 2020Updated 5 years ago
- A tbl-like preprocessor for Typst☆11Oct 20, 2025Updated 3 months ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- An unofficial api for searching and scraping the japanese dictionary Jisho.org☆13Mar 10, 2023Updated 2 years ago
- Benchmarking LLMs on Typst☆19May 26, 2025Updated 8 months ago
- ☆11Dec 9, 2025Updated 2 months ago
- Basic utility to launch an ARM binary from the SD card of a Wii.☆15Feb 19, 2024Updated last year
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆12Nov 17, 2022Updated 3 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
- 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
- Agda to C compiler☆10Sep 23, 2025Updated 4 months ago
- Explore a large 2GB dataset of soil measurements taken across the US☆10Feb 27, 2025Updated 11 months ago
- A chip8 emulator made in gameboy assembly for the gameboy☆16Aug 12, 2021Updated 4 years ago
- Dimensioning tool for Plots.jl and Makie.jl☆11Nov 24, 2025Updated 2 months ago
- Accompanying documentation that were used in the Dolwin development process☆11Sep 15, 2023Updated 2 years ago
- Cellular automata environment written in Common Lisp☆18Apr 17, 2021Updated 4 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Mar 30, 2011Updated 14 years ago
- Plugin for Neovim to enhance the experience of developing a site using a static site generator.☆11Dec 29, 2023Updated 2 years ago
- QGIS Processing from Julia☆10Dec 9, 2025Updated 2 months ago
- A Julia distribution for science, out of the box☆25Nov 19, 2025Updated 2 months ago