BarrensZeppelin / adventofcode2021
☆7Updated 3 years ago
Alternatives and similar repositories for adventofcode2021:
Users that are interested in adventofcode2021 are comparing it to the libraries listed below
- My solutions for all years of Advent of Code in Python 3 and Rust☆59Updated 3 months ago
- My Advent of Code solutions. I also upload videos of my solves: https://www.youtube.com/channel/UCuWLIm0l4sDpEe28t41WITA☆403Updated 3 months ago
- solutions to advent of code puzzles in many languages☆12Updated 3 months ago
- doing the same thing over and over and expecting the same results☆41Updated 3 years ago
- Project Euler solutions in Haskell.☆17Updated 5 years ago
- 🎅🌟❄️☃️🎄🎁☆99Updated 4 months ago
- actually publishing my solutions now that they're not redundant...☆211Updated 2 years ago
- Source code from my Lazy Evaluation video☆16Updated 4 years ago
- Advent of Code statistics for the first 100 submissions visualized☆88Updated 3 months ago
- My solutions for Advent of Code (all years!)☆48Updated 2 years ago
- VSCode extension for Comby☆7Updated 3 years ago
- 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 2 months ago
- Some online judge solutions in Haskell☆19Updated 8 years ago
- Display the content of a Zip file in a Tree Explorer☆16Updated last year
- ES6 solutions to Advent of Code puzzles.☆17Updated 3 months ago
- agda-mode on VS Code☆173Updated this week
- ASCII art of digits that also happen to solve Advent of Code challenges☆50Updated 4 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Advent of Code 2019 solutions☆43Updated 3 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆296Updated last year
- 🎅🌟❄️☃️🎄🎁☆45Updated 4 months ago
- Competitive programming made simple. VSCode extension.☆152Updated last month
- Advent of Code☆29Updated 3 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆110Updated 3 months ago
- TypeScript-like theorem prover☆32Updated this week
- Wasm SpecTec specification tools☆45Updated this week
- Advent of Code 2019 Solutions (Spoilers!)☆66Updated 4 months ago
- Finding optimal play in the game of wordle☆55Updated last year
- Exercises and Projects for Haskell Programming from First Principles by Allen & Moronuki☆34Updated 5 years ago
- A web site for converting haskell code into pointfree haskell code☆162Updated 2 years ago