A Pandoc Markdown Anki collection compiler
☆45May 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Haskell libary for fast arrowized FRP based on signal functions☆18Oct 26, 2025Updated 5 months ago
- Haskell bindings for the FUSE library☆27Jan 22, 2024Updated 2 years ago
- ☆17Mar 30, 2026Updated last week
- ☆20May 22, 2023Updated 2 years ago
- A simple directory-like tree datatype, with useful IO functions, for Haskell☆26Apr 28, 2024Updated last year
- 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.
- Telegram bot on Google App Engine☆15May 12, 2017Updated 8 years ago
- A library for producing terminal plots.☆75Feb 28, 2026Updated last month
- 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
- 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.
- Split integers into digits, blazingly fast☆14Dec 28, 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
- Haskell Package Version Policy (PVP)☆40Aug 14, 2024Updated last year
- Low level Haskell bindings to the BearLibTerminal graphics library.☆21Jul 22, 2025Updated 8 months ago
- Load and resolve Cargo configuration.☆18Apr 3, 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
- 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.
- ☆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 4 years 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 3 years ago
- Python object inspector for Emacs☆13Feb 16, 2023Updated 3 years ago
- A batch (multiple concurrent sequence pairs) implementation of Dynamic Time Warping (DTW) in Theano☆10Sep 13, 2015Updated 10 years 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.
- ☆10Oct 1, 2025Updated 6 months ago
- Multi-arch Docker images for Idris 2☆13Mar 30, 2026Updated last week
- Idris Version Manager☆16Feb 23, 2025Updated last year
- Publishing tools for papers, books, and presentations☆13May 29, 2024Updated last year
- Library of simd functions☆19Jul 24, 2025Updated 8 months ago
- https://github.com/mitsuba-renderer/mitsuba2 in docker☆10Jun 13, 2020Updated 5 years ago
- a program to label approved PRs in nixpkgs [maintainer=@Artturin,@wegank]☆16Nov 27, 2025Updated 4 months ago