Modern Cloze Overlapper for Anki
☆22Jul 17, 2025Updated 8 months ago
Alternatives and similar repositories for modern-cloze-overlapper
Users that are interested in modern-cloze-overlapper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Anki 2.1.20+ add-on to adjust the sound volume☆11Jan 3, 2024Updated 2 years ago
- An interactive Anki flashcard template featuring drag-and-drop functionality and instant visual feedback. Ideal for various study purpose…☆24Jul 30, 2025Updated 8 months ago
- Logseq Plugin to streamline Youtube note taking☆12Apr 9, 2022Updated 3 years ago
- Contains a set of addons for the open source application Anki Desktop☆104Mar 27, 2025Updated last year
- A Python tool to transfer saved/favorited items from FreshRSS to Karakeep with tagging and filtering capabilities.☆28Jan 4, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Embeds the note path at the top of each note☆15Sep 26, 2022Updated 3 years ago
- Repo containing the game for the Minetest Engine.☆14Mar 22, 2016Updated 10 years ago
- VertexWiseR R package : a suite of tools to extract, manipulate, analyze, and visualize cortical surface and hippocampal vertex-wise data☆12Mar 18, 2026Updated last week
- Obsidian plugin for link suggestion☆14Dec 30, 2022Updated 3 years ago
- A python-only derivative of the original BrainPrint scripts☆16Mar 2, 2026Updated 3 weeks ago
- Cycle through tabs of left/ right sidebar panel☆13Dec 9, 2024Updated last year
- Generate heat map of a year.☆10Apr 13, 2022Updated 3 years ago
- Formalization of Mathematics using Type Theory of Agda Programming Language☆11Jan 3, 2018Updated 8 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html☆12Jul 6, 2016Updated 9 years ago
- ☆13Feb 6, 2024Updated 2 years ago
- A Library for Classical Propositional Logic in Agda☆16Nov 19, 2019Updated 6 years ago
- ☆11Jul 25, 2018Updated 7 years ago
- ☆15Sep 11, 2025Updated 6 months ago
- ☆14Nov 5, 2015Updated 10 years ago
- A plugin that adds Logseq-like page tags to Obsidian☆22Jun 28, 2023Updated 2 years ago
- Load and resolve Cargo configuration.☆18Updated this week
- Congruence Closure Procedure in Cubical Agda☆19Aug 19, 2020Updated 5 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆22Sep 20, 2022Updated 3 years ago
- Haskell port of the Hashids library.☆24Dec 30, 2023Updated 2 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Jul 30, 2020Updated 5 years ago
- Anki add-on for memorizing lists and enumerations☆13Nov 14, 2023Updated 2 years ago
- ☆13Mar 9, 2026Updated 2 weeks ago
- Archiving public telegram messages.☆17Updated this week
- a program to label approved PRs in nixpkgs [maintainer=@Artturin,@wegank]☆16Nov 27, 2025Updated 4 months ago
- flash loan on EOS network☆11Apr 10, 2020Updated 5 years ago
- A tiny EDSL for making slides in PureScript☆26Apr 27, 2017Updated 8 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Real-time collection, preprocessing, and analysis of fMRI data in Python☆17Jan 30, 2020Updated 6 years ago
- A non-AI automatic scheduler for taskwarrior (i.e. alternative to skedpal/timehero/flowsavvy/reclaim/trevor/motion)☆32Jan 18, 2026Updated 2 months ago
- ☆24Mar 6, 2024Updated 2 years ago
- Build shell commands from Nix attribute sets.☆18May 23, 2024Updated last year
- Nix build hook that forwards builds to job schedulers.☆32Mar 22, 2026Updated last week
- Using OsmAnd to make a printable topographic map.☆18Jun 26, 2025Updated 9 months ago
- a Logseq plugin to remove whitespace and line breaks and hide block properties to keep blocks nice and tidy☆24Jul 3, 2023Updated 2 years ago