Solutions to the annual Advent calendar of programming puzzles
☆12Jan 2, 2026Updated 2 months ago
Alternatives and similar repositories for advent-of-code
Users that are interested in advent-of-code are comparing it to the libraries listed below
Sorting:
- ☆12Feb 17, 2026Updated last week
- The Princess Theorem Prover☆33Feb 17, 2026Updated 2 weeks ago
- Documenting HMRC design patterns☆32Jan 31, 2024Updated 2 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 5 months ago
- ☆13Updated this week
- newtype and refinement (refined) type for Scala 3☆14Updated this week
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- ☆10Jun 9, 2016Updated 9 years ago
- Sudoku solver in Golang☆10Sep 6, 2020Updated 5 years ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- My configuration files☆21Sep 27, 2013Updated 12 years ago
- A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic☆44Jan 5, 2026Updated last month
- advent of code in bash☆17Jan 4, 2026Updated last month
- Helper to provide a common federated authentication for all services within a domain (AKA Panda 🐼)☆11Updated this week
- Print window informations☆16Apr 12, 2016Updated 9 years ago
- Interact with Gemini Live API (Audio) for Scala☆19Sep 7, 2025Updated 5 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- An unnecessarily tiny and minimal implementation of GPT-2 in NumPy.☆11Feb 12, 2023Updated 3 years ago
- A pseudo terminal scroller for st☆11Apr 29, 2017Updated 8 years ago
- My solutions for "Operating Systems: three easy pieces" projects☆11Sep 14, 2023Updated 2 years ago
- Compute Emacs Lisp object sizes.☆10Jan 25, 2014Updated 12 years ago
- A Mongoid-like model library for Clojure and MongoDB☆20Sep 25, 2024Updated last year
- TASTy Migration Manager☆12Oct 9, 2025Updated 4 months ago
- BigInteger for scala with very fast modPow☆10Feb 13, 2026Updated 2 weeks ago
- Convert case classes to form data automatically (e.g., for Stripe API)☆12Dec 13, 2024Updated last year
- SHA and Shake for scala☆13Feb 13, 2026Updated 2 weeks ago
- Ray Tracer written in Rust☆13Nov 22, 2021Updated 4 years ago
- Reactive memoization for Emacs Lisp.☆11Feb 17, 2022Updated 4 years ago
- Pekko Streams support for JSON via Circe☆10Nov 10, 2025Updated 3 months ago
- ☆10Updated this week
- Useful dotfiles for i3, Ghostty, tmux, neovim, git, zsh and more | Tested weekly on CI☆11Aug 11, 2025Updated 6 months ago
- Just another static site generator -> あなたが恋しいです。☆11Dec 5, 2023Updated 2 years ago
- A Scala testing library for homeworks☆10Aug 17, 2022Updated 3 years ago
- Daily EDN exports of ClojureDocs's database.☆10Dec 14, 2024Updated last year
- Design by Contract for Java☆12Apr 13, 2013Updated 12 years ago
- Status bar using web technologies.☆12Jan 14, 2021Updated 5 years ago
- ☆12Nov 2, 2024Updated last year
- Procedural terrain generator.☆10Jan 28, 2018Updated 8 years ago