A Pandoc Markdown Anki collection compiler
☆44May 12, 2025Updated 10 months ago
Alternatives and similar repositories for anki-panky
Users that are interested in anki-panky are comparing it to the libraries listed below
Sorting:
- A Haskell libary for fast arrowized FRP based on signal functions☆18Oct 26, 2025Updated 4 months ago
- Haskell bindings for the FUSE library☆27Jan 22, 2024Updated 2 years ago
- Typ2Anki is a tool that converts Typst documents into Anki flashcards.☆45Jan 14, 2026Updated 2 months ago
- Real-time web-based IRC client with full-text search☆15Jan 11, 2023Updated 3 years ago
- ☆16Jan 21, 2026Updated 2 months ago
- ☆20May 22, 2023Updated 2 years ago
- A simple directory-like tree datatype, with useful IO functions, for Haskell☆26Apr 28, 2024Updated last year
- A decentralized binary cache for Nix over Git☆89Feb 14, 2026Updated last month
- Telegram bot on Google App Engine☆15May 12, 2017Updated 8 years ago
- ☆33Mar 19, 2015Updated 11 years ago
- A library for producing terminal plots.☆74Feb 28, 2026Updated 3 weeks ago
- This project is essentially abandonware!☆20Nov 21, 2025Updated 4 months ago
- Dotfiles for my UNIX workstations☆30Updated this week
- Minimal web frontend for esniper, a lightweight eBay sniping tool☆10Dec 16, 2018Updated 7 years ago
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- Collection of Ivy-based utils for term-mode☆13Sep 20, 2019Updated 6 years ago
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆35Feb 3, 2025Updated last year
- Emacs: Apply all (!) .dir-locals.el from root to current directory☆11Oct 13, 2021Updated 4 years ago
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated 2 months ago
- Radiocarbon calibration command line tool and Haskell module☆11Nov 24, 2025Updated 3 months ago
- ☆14Mar 17, 2024Updated 2 years ago
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆32Updated this week
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- Indicate anchors in a web page☆11Feb 5, 2026Updated last month
- Haskell Package Version Policy (PVP)☆40Aug 14, 2024Updated last year
- Low level Haskell bindings to the BearLibTerminal graphics library.☆21Jul 22, 2025Updated 7 months ago
- Load and resolve Cargo configuration.☆18Mar 12, 2026Updated last week
- personalized collection of books☆11Jan 24, 2021Updated 5 years ago
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 2 years ago
- ☆12Nov 5, 2024Updated last year
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- A hobby implementation of an ncurses binding for Idris 2☆16Dec 9, 2024Updated last year
- Levenshtein edit distance, packaged for ATS☆12Apr 11, 2022Updated 3 years ago
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 4 months ago
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- Optics experimentation for Dotty☆32Oct 24, 2021Updated 4 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- Show completions buffer in child frame☆13Sep 13, 2022Updated 3 years ago
- dbus-based NetworkManager interface for Emacs☆10Dec 12, 2014Updated 11 years ago