Nathan McCarty thatonelutenist · any pronouns
0 followers · 0 following
  • Joined on 2024-12-27
Repositories
1
 Projects Packages Public activity Starred repositories
thatonelutenist pushed to trunk at Idris/advent 2025-01-23 03:23:27 +00:00
13b05ceb86 Year 2015 Day 10 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-22 02:37:21 +00:00
2fb0a075a7 Year 2015 Day 10 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-20 07:06:25 +00:00
825c9f0446 Year 2015 Day 10 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-20 07:04:54 +00:00
56411b2518 Year 2015 Day 10 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-20 07:00:21 +00:00
71c29bbea4 Year 2015 Day 10 Part 1
0f6d2c1869 Add lazy list methods to util
12305cc232 Add repeatN to Util
fe4a20ade6 Add Util.Digits modules
Compare 4 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-20 05:02:03 +00:00
bfe2b577c1 Add Util.Digits modules
cf3a81fa62 Year 2015 Day 9 Part 2
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-20 04:54:38 +00:00
82268350cb Add Util.Digits modules
bef05278c2 Typo fix
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-19 23:53:28 +00:00
ed3d8a86ca Year 2015 Day 9 Part 2
c46d3d911b Year 2015 Day 9 Part 1
8cd56f32ab Add rotations to Util
d343cc37a3 Add List.contains to util
Compare 4 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-17 18:50:02 +00:00
ca07f2995e Year 2015 Day 8 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-17 18:28:28 +00:00
9a16de8be7 Year 2015 Day 8 Part 1
thatonelutenist pushed to trunk at Idris/advent 2025-01-17 18:21:23 +00:00
454c4d2de1 Year 2015 Day 8 Part 1
8a01c46441 Add subset proofs to util
a83cef8360 Add choose utilties to util
b0e7c1aa91 Reformat markdown
Compare 4 commits »
thatonelutenist created branch wat in Idris/advent 2025-01-15 02:52:05 +00:00
thatonelutenist pushed to wat at Idris/advent 2025-01-15 02:52:05 +00:00
9721602598 wat
62510c6755 Day 8 template
a83cef8360 Add choose utilties to util
b0e7c1aa91 Reformat markdown
Compare 4 commits »
thatonelutenist pushed to trunk at Nix/System 2025-01-14 20:12:39 +00:00
9b150da119 Add minecraft
e928ecd667 More crash utilities
471766ef64 Add cpu-power gui
443cf97123 More power stuff
d1a386edf5 More hardware configuration for crash
Compare 7 commits »
thatonelutenist pushed to trunk at Nix/System 2025-01-13 19:57:57 +00:00
de8c6e1327 GC slightly less agressively
f6297461f5 Add markdown devshell
29fd118635 Reformat
ac3825e6f9 Tweaks
89082006fe Crash tweaks
Compare 6 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-11 03:48:15 +00:00
5a313c952f Year 2015 Day 7 Part 2
fc7f79a96a Year 2015 Day 7 Part 1
080b9f8c77 Include year in markdown headers
feb75002bd Readme fix
Compare 4 commits »
thatonelutenist pushed to trunk at Nix/System 2025-01-10 20:32:26 +00:00
6626767ef2 More programs for crash
thatonelutenist pushed to trunk at Idris/advent 2025-01-10 19:15:28 +00:00
472dc28c3b Year 2015 Day 6 Part 2
20dca6b098 Year 2015 Day 6 Part 1
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-10 00:30:18 +00:00
e2a26d9519 Overhaul logging
thatonelutenist pushed to trunk at Nix/System 2025-01-09 17:48:12 +00:00
0b933dc9a5 Auto-optimize store
8df25e2fc8 Basic desktop application configuration
faef61c066 Add syncthing
bcd0288107 Seperate out raku from idris environment
99c4179cb5 Emacs service
Compare 8 commits »