Advent-of-Code/AdventOfCode-2020
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
53 Commits 1 Branch 0 Tags
c6ac448ad2dac1ae872b5309d1b0a17ef37e114b
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Danila Fedorin c6ac448ad2 Add day 25 solution.
2020-12-29 00:50:26 -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.ijs
Add day 1 and 2 solutions in J.
2020-12-23 21:47:05 -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
day2.ijs
Add day 1 and 2 solutions in J.
2020-12-23 21:47:05 -08:00
day3.cr
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
day3.ijs
Add day 3 solution in J.
2020-12-23 21:46:46 -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
day5.ijs
Add J solution for day 5.
2020-12-23 22:40:42 -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
day21.cr
Add solutions to day21 and day22.
2020-12-21 22:40:37 -08:00
day22.cr
Add solutions to day21 and day22.
2020-12-21 22:40:37 -08:00
day23.cr
Add day 23.
2020-12-23 21:46:32 -08:00
day24.cr
Add day24 solution.
2020-12-23 21:44:32 -08:00
day25.cr
Add day 25 solution.
2020-12-29 00:50:26 -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%