Advent-of-Code/AdventOfCode-2020
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
28 Commits 1 Branch 0 Tags
af8170a3e6fcddfbc052776145d830f96c3e54a8
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Danila Fedorin af8170a3e6 Clean up some solutions.
2020-12-07 23:38:38 -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
Clean up some solutions.
2020-12-07 23:38:38 -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
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
Description
No description provided
752 KiB
Languages
Crystal 66%
Coq 32.2%
J 1.6%
Shell 0.2%