Printable cards and board for The Resistance: Avalon.
☆18May 24, 2019Updated 6 years ago
Alternatives and similar repositories for avalon-printable
Users that are interested in avalon-printable are comparing it to the libraries listed below
Sorting:
- Typeclass instances for `parsley` to make it compatible with `cats`☆14Jan 24, 2026Updated last month
- A friendly functional language for finding counterexamples 🎯☆15Jul 15, 2024Updated last year
- An OCaml EDSL for describing and solving strategic games☆17Sep 10, 2023Updated 2 years ago
- Haskell bindings to Advent of Code REST API☆16Dec 6, 2025Updated 2 months ago
- A scratch space for notes, links, reminders, and whatever else you want to keep around☆10Apr 29, 2023Updated 2 years ago
- ☆16Jan 21, 2026Updated last month
- Btop clone written in pure Nix☆42Jan 10, 2026Updated last month
- [Prototype] Talk to your Anki flashcard deck☆11Oct 21, 2023Updated 2 years ago
- Let's rethink how we interact with Agda☆18Nov 18, 2022Updated 3 years ago
- Brainfuck mode for Emacs☆21Jan 13, 2015Updated 11 years ago
- ☆19Oct 25, 2023Updated 2 years ago
- NeoVim plugin for interacting with Agda written in Lua☆19Jan 31, 2024Updated 2 years ago
- a code counter!☆22Dec 22, 2024Updated last year
- Low level Haskell bindings to the BearLibTerminal graphics library.☆21Jul 22, 2025Updated 7 months ago
- The Crimson Text typeface☆27Mar 25, 2022Updated 3 years ago
- Resources for the aspiring optician☆43Jun 3, 2020Updated 5 years ago
- Your principled, purely functional, non-blocking RabbitMQ client for scala, scala js and scala native built on top of fs2☆36Updated this week
- virtualenv like tool for Racket☆31Nov 20, 2022Updated 3 years ago
- A Pandoc Markdown Anki collection compiler☆43May 12, 2025Updated 9 months ago
- Agda as a collaborative multiplayer game☆39Oct 16, 2024Updated last year
- A three part tutorial series on how to access all of the MOOCs, books, and scientific papers.☆41Sep 16, 2022Updated 3 years ago
- Free Algebras in Haskell☆38Aug 29, 2024Updated last year
- 📮 RSS, Atom, and JSON feed generator from multiple RSS, Atom, and any entries you want.☆35May 5, 2023Updated 2 years ago
- A monad for managed values☆51Nov 18, 2025Updated 3 months ago
- Multi format clipboard manager with extra features☆42Dec 31, 2025Updated 2 months ago
- Scala wrapper over standard RabbitMQ Java client library☆36Updated this week
- Give your cats a set of dice☆37May 8, 2025Updated 9 months ago
- Lingo is a CLI tool for counting lines of code in a workspace.☆47Apr 15, 2022Updated 3 years ago
- apkg - package manager for Agda☆38Jul 17, 2021Updated 4 years ago
- Functional interfaces and datatypes for Racket☆43Jul 1, 2021Updated 4 years ago
- A library for producing terminal plots.☆72Jan 23, 2026Updated last month
- A very simple screen magnifier for Ubuntu☆46Oct 14, 2024Updated last year
- Source material for Certainty by Construction☆48Jan 20, 2024Updated 2 years ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆51Jan 2, 2026Updated 2 months ago
- Google Cloud Pub/Sub stream-based client built on top of cats-effect, fs2 and http4s.☆50Updated this week
- Set breakpoints using a GHC plugin☆49Jan 12, 2026Updated last month
- Rofi frontend to pinentry☆51Sep 15, 2024Updated last year
- Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty☆67Feb 22, 2026Updated last week
- Build rofi menu via python☆60May 6, 2022Updated 3 years ago