BarrensZeppelin / adventofcode2021Links
☆7Updated 3 years ago
Alternatives and similar repositories for adventofcode2021
Users that are interested in adventofcode2021 are comparing it to the libraries listed below
Sorting:
- ASCII art of digits that also happen to solve Advent of Code challenges☆50Updated 4 years ago
- Advent of Code statistics for the first 100 submissions visualized☆88Updated 6 months ago
- My Advent of Code solutions. I also upload videos of my solves: https://www.youtube.com/channel/UCuWLIm0l4sDpEe28t41WITA☆403Updated 6 months 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…☆349Updated 5 months ago
- Project Euler solutions in Haskell.☆17Updated 5 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
- solutions to advent of code puzzles in many languages☆12Updated 6 months ago
- Finding optimal play in the game of wordle☆57Updated last year
- 🎅🌟❄️☃️🎄🎁☆99Updated 7 months ago
- Advent of Code 2018 Solutions (Spoilers!)☆83Updated 7 months ago
- agda-mode on VS Code☆176Updated this week
- A "monad" or DSL for creating React components using Fable and F# computation expressions☆34Updated 2 years ago
- GALGA: Multiplayer card game written in Haskell and Elm.☆137Updated last month
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆194Updated this week
- Advent of Code 2019 Solutions (Spoilers!)☆66Updated 7 months ago
- Challenges from Category Theory for Programmers☆122Updated 8 months ago
- Light weight runtime for ReScript☆15Updated 2 years ago
- Benchmark to compare async web server + interpreter + web client implementations across various languages☆46Updated 2 years ago
- Advent of Code 2020 - my answers☆28Updated 2 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆116Updated 6 months ago
- Advent of Code 2019 solutions☆43Updated 3 years ago
- ES6 solutions to Advent of Code puzzles.☆17Updated 6 months ago
- Advent of Code in Rust, ReScript, ReasonML, Go, TypeScript, and Python☆53Updated 6 months ago
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- Source code from my Lazy Evaluation video☆16Updated 4 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Python solutions to Advent of Code puzzles, https://adventofcode.com/☆121Updated 6 months ago
- solutions to advent of code 2020 puzzles in many languages☆43Updated 6 months ago
- Python type hints are Turing complete.☆33Updated 2 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆114Updated last year