Advent-of-Code/AdventOfCode-2020
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
46 Commits 1 Branch 0 Tags
32895b3e171e26ca65b73e53456f67426b222536
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Danila Fedorin 32895b3e17 Add updated solutions, including day 20.
2020-12-20 00:31:30 -08:00
console.cr
Factor console code into a separate file.
2020-12-11 11:32:01 -08:00
day1.cr
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
day1.v
Add day 1 part 1 formalized in Coq.
2020-12-01 19:44:47 -08:00
day2.cr
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
day3.cr
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
day4.cr
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
day5.cr
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
day5g.cr
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
day6.cr
Clean up some solutions.
2020-12-07 23:38:38 -08:00
day7.cr
Clean up some solutions.
2020-12-07 23:38:38 -08:00
day8.cr
Factor console code into a separate file.
2020-12-11 11:32:01 -08:00
day8.v
Add experimental formalization of (inefficient) solution.
2020-12-13 23:32:11 -08:00
day9.cr
Add day9 solution.
2020-12-08 21:34:39 -08:00
day10.cr
Add solutions to days 10 and 11
2020-12-11 11:32:33 -08:00
day11.cr
Add solutions to days 10 and 11
2020-12-11 11:32:33 -08:00
day12.cr
Clean up day 12.
2020-12-12 01:44:04 -08:00
day13.cr
Add day 13 solution.
2020-12-12 22:09:28 -08:00
day14.cr
Add day 4 solution.
2020-12-13 21:53:37 -08:00
day15.cr
Add updated solutions, including day 20.
2020-12-20 00:31:30 -08:00
day16.cr
Add unclean day16 solution.
2020-12-15 22:05:25 -08:00
day17.cr
Add updated solutions, including day 20.
2020-12-20 00:31:30 -08:00
day18.cr
Add updated solutions, including day 20.
2020-12-20 00:31:30 -08:00
day19.cr
Add updated solutions, including day 20.
2020-12-20 00:31:30 -08:00
day20.cr
Add updated solutions, including day 20.
2020-12-20 00:31:30 -08:00
input.sh
Add a script to pull input from AoC
2020-12-02 20:47:58 -08:00
passports.cr
Reimplement day 4 using validators.
2020-12-04 19:54:14 -08:00
shard.yml
Extract some common utilities into a library.
2020-12-05 15:36:08 -08:00
template.cr
Make changes to the template.
2020-12-11 11:32:12 -08:00
Description
No description provided
752 KiB
Languages
Crystal 66%
Coq 32.2%
J 1.6%
Shell 0.2%