Add-on for the memory training program Anki, allowing to import and export notes written in LaTeX.
☆36Jul 3, 2023Updated 3 years ago
Alternatives and similar repositories for LaTeX-Note-Importer-for-Anki
Users that are interested in LaTeX-Note-Importer-for-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:
- Interactive Theorem Proving based on Inox☆10Feb 22, 2019Updated 7 years ago
- Randomized algorithms for numerical linear algebra in Julia☆21Mar 14, 2023Updated 3 years ago
- ☆26Sep 30, 2026Updated 2 weeks ago
- R interface to Amazon' S3 storage☆12Apr 11, 2012Updated 14 years ago
- Theory Exploration for Isabelle using HipSpec☆20Jun 7, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Anki Sync Server☆10Feb 7, 2022Updated 4 years ago
- Code for “Chat-GPT on the Couch”: Mitigating State Anxiety in Large Language Models via Mindfulness-based Relaxation Techniques☆11May 30, 2024Updated 2 years ago
- An Anki addon for pulling flashcard data (one-way sync) from XML. Optimized for LIFT XML (from WeSay or FLEx). [This is now the official …☆10Feb 2, 2026Updated 8 months ago
- ☆11Apr 15, 2014Updated 12 years ago
- An efficient command line interface to add cards to Anki☆15Dec 2, 2017Updated 8 years ago
- A program to automate adding and removing of articles into pocket☆13Oct 17, 2020Updated 5 years ago
- Prof. S. Boyd's LaTeX Templates☆13Dec 18, 2018Updated 7 years ago
- Cause Prioritization Wiki☆11Dec 8, 2025Updated 10 months ago
- BibTeX bibliographies for proof engineering-related papers☆30Jul 24, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Share text/file between your computer and phone☆16Nov 4, 2021Updated 4 years ago
- Fluent translation files for Anki☆22Oct 7, 2026Updated last week
- Collection of Tools for PD Rating Model Development and Validation☆20Dec 9, 2025Updated 10 months ago
- Command-line flashcard app with Bayesian scheduling☆20Jan 28, 2023Updated 3 years ago
- Agentic Bootstrap deploys teams of AI agents to reveal how much a scientific conclusion depends on hidden analytical choices.☆30Aug 27, 2026Updated last month
- Parse Browser 'User-Agent' Strings into R Data Frames☆16Sep 3, 2026Updated last month
- A small utility for testing Anki 2.1 addons☆13Jun 15, 2020Updated 6 years ago
- Process some txt file and convert it to Anki note☆79Nov 16, 2015Updated 10 years ago
- A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory☆11Oct 3, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆10Oct 11, 2022Updated 4 years ago
- Offers spaced-repetition algorithms according to Leitner and SuperMemo-2 and teacher functions to give bonus for repetitive learning.☆14May 4, 2022Updated 4 years ago
- Vim plugin: Text objects for foldings☆33May 29, 2021Updated 5 years ago
- Additional keyboard shortcuts for the Wolfram Mathematica FrontEnd☆13Aug 18, 2022Updated 4 years ago
- ☆11Aug 3, 2021Updated 5 years ago
- Get the lyrics for a song via bash. #bashisyourfriend☆18May 28, 2024Updated 2 years ago
- Obsolete, upkept version at EFF☆19Jan 4, 2016Updated 10 years ago
- vim plugin for editing jupyter notebook (ipynb) files through notedown☆27Jan 5, 2019Updated 7 years ago
- A best-first-search theorem prover implemented in Isabelle☆37Jul 18, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆15Feb 25, 2023Updated 3 years ago
- Anki向け将棋局面ビジュアライザ☆13May 25, 2020Updated 6 years ago
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 6 years ago
- ☆70Mar 31, 2025Updated last year
- Allow to alter some card when actions are taken on other card☆18Mar 16, 2024Updated 2 years ago
- Simple voice recognition grammar for coding on Linux.☆13Oct 31, 2021Updated 4 years ago
- Material for the Advanced Scientific Python Programming course, Nikiti, Greece, 2017☆14Aug 26, 2017Updated 9 years ago