msullivan / advent-of-codeLinks
my advent of code solutions
☆7Updated 5 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:
- Advent of Code 2019 - my answers☆16Updated 4 years ago
- solutions to advent of code 2020 puzzles in many languages☆43Updated 6 months ago
- ES6 solutions to Advent of Code puzzles.☆17Updated 5 months ago
- Advent of Code solutions☆42Updated last year
- My solutions for all years of Advent of Code in Python 3 and Rust☆60Updated 5 months ago
- Advent of Code☆29Updated 6 months ago
- Chess boards in vscode markdown viewer☆74Updated last year
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆280Updated 2 years ago
- Python solutions to Advent of Code puzzles, https://adventofcode.com/☆121Updated 5 months ago
- Advent of Code, 2016 edition☆9Updated 7 years ago
- Play on Lichess.org using your DGT Electronic Board☆12Updated 4 years ago
- Category theory in the context of (functional) programming☆522Updated 7 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
- Intcode compiler and samples from Advent of Code 2019☆108Updated 4 years ago
- Challenges from Category Theory for Programmers☆122Updated 8 months ago
- Some Lean tutorials☆183Updated last year
- Miscellaneous articles. The readme is the table of contents.☆1,267Updated last year
- http://adventofcode.com☆14Updated 5 months ago
- Chess API written in scala. Immutable and free of side effects.☆723Updated this week
- Advent of Code 2019 solutions☆43Updated 3 years ago
- Functional Programming Course☆1,032Updated 2 years ago
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- Swift implementation of a Lox interpreter☆50Updated 7 years ago
- ♟️ A chess engine with alpha-beta pruning, piece-square tables, move ordering, and command-line UI.☆164Updated 2 years ago
- A demo implementation of a simple dependently-typed language☆594Updated 7 months ago
- Classic Algorithm W for type inference.☆253Updated 15 years ago
- Integrating Haskell with Swift Mac Apps☆150Updated 8 years ago
- Solving Advent of Code 2017 puzzles in a different language every day☆11Updated 7 years ago
- Advent of Code statistics for the first 100 submissions visualized☆88Updated 5 months ago
- actually publishing my solutions now that they're not redundant...☆210Updated 2 years ago