Alternatives and similar repositories for adventofcode2021:

Users that are interested in adventofcode2021 are comparing it to the libraries listed below

• benediktwerner / AdventOfCode
  My solutions for all years of Advent of Code in Python 3 and Rust
  ☆60Updated last month
• jonathanpaulson / AdventOfCode
  My Advent of Code solutions. I also upload videos of my solves: https://www.youtube.com/channel/UCuWLIm0l4sDpEe28t41WITA
  ☆405Updated last month
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆173Updated last week
• mevdschee / aoc-stats
  Advent of Code statistics for the first 100 submissions visualized
  ☆88Updated last month
• glguy / advent2019
  Advent of Code 2019 solutions
  ☆43Updated 3 years ago
• mstksg / advent-of-code-2018
  Advent of Code 2018 Solutions (Spoilers!)
  ☆83Updated 2 months ago
• hyperneutrino / advent-of-code
  My Advent of Code submissions. For 2021 and before, these are the original code I used, without any modifications after-the-fact. As such…
  ☆350Updated last month
• mstksg / advent-of-code-2020
  🎅🌟❄️☃️🎄🎁
  ☆99Updated 2 months ago
• betaveros / advent-of-code-2022
  actually publishing my solutions now that they're not redundant...
  ☆211Updated 2 years ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated 10 months ago
• zenzike / yoda
  A simple combinator library
  ☆29Updated 6 years ago
• arknave / advent-of-code-2020
  ASCII art of digits that also happen to solve Advent of Code challenges
  ☆50Updated 4 years ago
• surgi1 / adventofcode
  ES6 solutions to Advent of Code puzzles.
  ☆17Updated last month
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆295Updated 11 months ago
• johnchandlerburnham / hpfp
  Exercises and Projects for Haskell Programming from First Principles by Allen & Moronuki
  ☆34Updated 5 years ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆138Updated last year
• tckmn / polyaoc-2021
  solutions to advent of code puzzles in many languages
  ☆12Updated 2 months ago
• betaveros / advent-of-code-golf-2019
  let's see how long it takes before I burn out this time
  ☆35Updated 4 years ago
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆88Updated last year
• mstksg / advent-of-code-2019
  Advent of Code 2019 Solutions (Spoilers!)
  ☆66Updated 2 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆165Updated 2 months ago
• mstksg / advent-of-code-2017
  Advent of Code 2017 (Warning: Spoilers)
  ☆49Updated 2 months ago
• mstksg / advent-of-code-2021
  🎅🌟❄️☃️🎄🎁
  ☆45Updated 2 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated 3 weeks ago
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆103Updated 3 years ago
• isovector / thinking-with-types
  📖 source material for Thinking with Types
  ☆481Updated last year
• foreverbell / project-euler-solutions
  Project Euler solutions in Haskell.
  ☆17Updated 5 years ago
• goDoCer / imperial-computing-materials-downloader
  Automated downloader for Imperial College London Department of Computing Materials platform
  ☆8Updated 3 years ago
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆58Updated this week