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-29 08:37:40 +00:00
f675677a76 Fix build-book output directory
f8d6e3cfcb Year 2015 Day 13 Part 2
22eccd177c Year 2015 Day 13 Part 1
3addc0aeaf Add minBy and maxBy to Util
5ad68cdb44 Add unfinS to util
Compare 6 commits »
thatonelutenist pushed to trunk at Nix/System 2025-01-29 02:44:23 +00:00
376b8faeb7 media
thatonelutenist pushed to trunk at Nix/System 2025-01-29 02:43:12 +00:00
dc4c07908c media
60f90ff094 tweaks, move stuff to home manager
87b4ab23ff Add ungoogled chromium
6faa5990e9 Update flake
e295a27111 add rss reader to crash
Compare 8 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-28 04:00:20 +00:00
c632ab023d Year 2015 Day 12 Part 2
b2704dcbcc Add getValues to JSON
5760da96eb Add dFilter to json
b5547ccb58 Add getProperty method to JSON
e91db14c11 Improve build-book script
Compare 10 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-27 10:34:04 +00:00
b2d94f9751 Mdbook tweaks
d030bd79c5 Add JSON Parser
faaf42e66c Add parsers for numerical values
5a2ffc1058 Basic Parsing Interface
Compare 4 commits »
thatonelutenist pushed to develop at Idris/advent 2025-01-27 10:25:37 +00:00
b2d94f9751 Mdbook tweaks
thatonelutenist pushed to develop at Idris/advent 2025-01-27 10:20:27 +00:00
84d4f12f9b Mdbook tweaks
d030bd79c5 Add JSON Parser
faaf42e66c Add parsers for numerical values
5a2ffc1058 Basic Parsing Interface
24285db686 Switch from markdown comments to hidden fences
Compare 11 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-27 09:55:52 +00:00
24285db686 Switch from markdown comments to hidden fences
thatonelutenist pushed to trunk at Idris/advent 2025-01-27 09:45:52 +00:00
32a8c6bd43 Add upload option to build-book script
4683cd72b9 Brutally butcher katla output to play nice with mdbook
9d3eeacd4c Minor mdbook cleanup
a294515c1d Basic book building
0c7c4d7c48 markdown fixes
Compare 6 commits »
thatonelutenist pushed to develop at Idris/advent 2025-01-27 02:16:39 +00:00
90c48b3672 json: delimited arrays
ef690db972 core: Properly restore state in delimited
93d4d876d9 core: Factor parseExactChar into the effect
08a2f263bb json: parse char result
40251a1455 numbers: ParseCharResult refactor
Compare 10 commits »
thatonelutenist pushed to develop at Idris/advent 2025-01-26 20:48:39 +00:00
5a47d5548c json: Clean up json smoke test
4fb5707b25 json: Refactor string parser
91e1d2c9b1 json: More refactor
a3c7729ab2 json: Smoke test
a8c3901665 json: Show Fix
Compare 24 commits »
thatonelutenist pushed to trunk at Idris/iutils-raku 2025-01-26 20:25:05 +00:00
775652c6cf Set %*SUB-MAIN-OPTS
f932ddcde5 Filtering by module name
75d955f666 Ignore envrc for now
0dbafc0cce fix: Handle whitespace in more places
18ad8bcc99 Add support for markdown files as sources
Compare 6 commits »
thatonelutenist pushed to develop at Idris/advent 2025-01-25 10:09:48 +00:00
2111e20f33 json: Bool and null
e46e1663b9 json: number
69e36774b5 json: Janky string
cc9b0edfb2 json: Object and array
8b111a1839 json: Parser types
Compare 16 commits »
thatonelutenist pushed to develop at Idris/advent 2025-01-25 09:39:56 +00:00
e3d563e6a3 json: Janky string
894b0bcbf9 json: Object and array
06e9c09eab json: Parser types
e74fe68e32 json: Define types, add sop
6be2b5372e json: create module
Compare 14 commits »
thatonelutenist created branch develop in Idris/advent 2025-01-25 05:40:35 +00:00
thatonelutenist pushed to develop at Idris/advent 2025-01-25 05:40:35 +00:00
3b01fbca46 numbers: Double Parser
f0e7a7fc43 numbers: Integer parser
fed48dd5eb numbers: Nat parser
b0504f04bc numbers: Nat unit tests
65726e29df numbers: Basic module structure
Compare 10 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-25 05:40:16 +00:00
6d130cdc3b Arrays with constant time indexing and slicing
thatonelutenist pushed to trunk at Idris/advent 2025-01-23 06:13:18 +00:00
49525e43a1 Year 2015 Day 11 Part 2
d84f361577 Note on subscribing to rss
1ee2d1b1e9 General revisions, improve README
9e9d13c45d Add references heading to day 11
b0882a899e Link to AoC problem in day module
Compare 6 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-23 06:06:31 +00:00
dd0565fd12 Note on subscribing to rss
thatonelutenist pushed to trunk at Idris/advent 2025-01-23 05:57:36 +00:00
c47f522c50 General revisions, improve README
7e05cc1e8b Add references heading to day 11
f7afecb550 Link to AoC problem in day module
8162210b21 Remove defective Grid module for now
76fcb6c34b Revise Runner
Compare 8 commits »