pingu
0 Followers · 0 Following
  • Gothenburg, Sweden
  • Joined on 2023-02-28
Repositories
15
 Projects Packages Public Activity Starred Repositories
1
pingu pushed to main at pingu/blog 2025-03-14 21:05:42 +00:00
670c5e99b0 Fix some small updates
pingu pushed to main at pingu/lean 2025-01-30 19:07:27 +00:00
309f12da6f You can open the namespaces
pingu pushed to main at pingu/lean 2025-01-30 19:07:16 +00:00
36b6afbbe5 You can open the namespaces
pingu pushed to main at pingu/lean 2025-01-30 19:05:05 +00:00
c618129891 You can open the namespaces
pingu pushed to main at pingu/aoc 2024-12-12 09:47:11 +00:00
8a316f9f1b temp
pingu pushed to main at pingu/aoc 2024-12-12 09:38:16 +00:00
769d144b77 Now faster
pingu pushed to main at pingu/aoc 2024-12-12 09:14:19 +00:00
c54080fdc6 Slow correct
pingu pushed to main at pingu/aoc 2024-12-11 09:28:36 +00:00
ad760a6c83 11 part 2 done
pingu pushed to main at pingu/aoc 2024-12-11 09:28:27 +00:00
b56444521e 11 part 2 done
pingu pushed to main at pingu/aoc 2024-12-11 08:28:57 +00:00
a20210b96f 11 part 1 done
pingu pushed to main at pingu/aoc 2024-12-10 15:24:17 +00:00
5796436650 Part 2 easy
pingu pushed to main at pingu/aoc 2024-12-10 07:20:29 +00:00
302761f21a Part 2 easy
pingu pushed to main at pingu/aoc 2024-12-10 07:18:24 +00:00
0415c9eacf Part 2 easy
pingu pushed to main at pingu/aoc 2024-12-10 07:15:51 +00:00
9b187ca14b 10 part 1 done
pingu pushed to main at pingu/aoc 2024-12-09 12:07:06 +00:00
73eec14746 9th day
pingu pushed to main at pingu/aoc 2024-12-09 10:11:34 +00:00
88e595e5f9 This is dumb
pingu pushed to main at pingu/aoc 2024-12-09 10:02:57 +00:00
397a741931 Fit works as expected, sort needs work
pingu pushed to main at pingu/aoc 2024-12-09 09:57:40 +00:00
2e810eb03b Started on part 2
pingu pushed to main at pingu/aoc 2024-12-09 09:26:38 +00:00
fb98633a56 Part 1 done
pingu pushed to main at pingu/aoc 2024-12-08 13:46:01 +00:00
27e4f9102b Part 2 done