Ankimon - an Anki Addon to Gamify your learning experience! EXPERIMENTAL branch!
☆66Jun 16, 2026Updated this week
Alternatives and similar repositories for ankimon
Users that are interested in ankimon are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ankimon is a Anki Addon to Gamify your learning experience☆281May 31, 2026Updated 3 weeks ago
- Python Script to scrape through MIT OpenCourseWare website to download Course Materials.☆13Apr 6, 2017Updated 9 years ago
- A simple dictionary application written in Rust☆13May 9, 2020Updated 6 years ago
- Metamath in C++☆14Jun 4, 2019Updated 7 years ago
- VSCode Extension - Proof Assistant for Metamath☆14Jan 10, 2026Updated 5 months 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.
- ☆31May 28, 2024Updated 2 years ago
- Make/Encode some basic logic puzzles☆18Jul 10, 2024Updated last year
- Lean Theorem Prover plugin for Vim.☆16Oct 24, 2021Updated 4 years ago
- Creates a new Basic and a new Cloze Note Type that support Markdown and KaTeX☆24Jul 4, 2025Updated 11 months ago
- ☆12Apr 28, 2026Updated last month
- Set Theory Game☆27Jan 20, 2026Updated 5 months ago
- StarDict Tool & Library. Command line format conversion. Well documented API and maven central repo support.☆20Dec 10, 2017Updated 8 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆80Sep 16, 2024Updated last year
- My improvements to View Size Adjust and Incremental Reading Extension. (Kept here because of links from AnkiWeb and other data. Moved to …☆19May 28, 2020Updated 6 years ago
- 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.
- ☆85May 12, 2026Updated last month
- Vim plugin for GHCup☆28Aug 23, 2020Updated 5 years ago
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"☆39Jun 10, 2026Updated last week
- Firefox add-on that creates .epub books from the about:reader and overdrive books☆69Nov 5, 2022Updated 3 years ago
- Ankimin is a clean, minimal theme for Anki cards with light and dark theme options. Simply copy the code in, and experience clean, distra…☆43Apr 23, 2025Updated last year
- VSCode plugin for Standard ML☆40Mar 8, 2024Updated 2 years ago
- Anki redesign - a new lightweight look for Anki☆64Jan 13, 2024Updated 2 years ago
- Our solutions to Putnam 2025.☆105Jan 9, 2026Updated 5 months ago
- A cost-aware logical framework, embedded in Agda.☆79Jun 15, 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.
- A GUI application written in PyQt6 to download, configure and generate Kobo patches.☆59Apr 8, 2026Updated 2 months ago
- This project aims to provide instructive, high-quality, atomic, Anki flashcards which cover a myriad general knowledge topics.☆56Jul 3, 2020Updated 5 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆61Jan 26, 2024Updated 2 years ago
- Anki add-on providing incremental reading features☆65Apr 23, 2025Updated last year
- Course notes for Formalising Mathematics 2026☆116Mar 31, 2026Updated 2 months ago
- Access scientific literature in your browser using standard template construct, an IPFS-backed website for nexus search.☆83Jul 23, 2024Updated last year
- A simple and minimal app to track how long you've been sober from anything you want.☆102Dec 30, 2024Updated last year
- A free, open-source platform for Japanese immersion learners. Jiten offers detailed statistics for thousands of Japanese media such as ch…☆145Updated this week
- An Anki add-on to customize different parts of Anki flashcards app.☆93Oct 3, 2025Updated 8 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.
- Enabling studying at night with Anki - without eye strain☆73May 11, 2020Updated 6 years ago
- An improved patching system for Kobo eReaders.☆123Mar 17, 2026Updated 3 months ago
- The todo.txt application Todour☆144Dec 14, 2025Updated 6 months ago
- An extension for Anki which downloads and converts a community course from Memrise into an Anki deck.☆160Jun 19, 2025Updated last year
- Assistant: AI Helper Plugin for KOReader : lets you interact with AI language models (Claude, GPT-4, Gemini, DeepSeek, Ollama etc.) while…☆524Jun 2, 2026Updated 2 weeks ago
- self hostable synchronization service for koreader devices☆630May 16, 2026Updated last month
- The source code for the Anki Plugin☆125Jun 14, 2026Updated last week