Pagwin
0 followers · 0 following
Repositories
16
 Projects Packages Public activity Starred repositories
Pagwin pushed to main at Pagwin/psb 2026-09-04 21:27:13 +00:00
0f356e4d5e property tests for the djot parser
96db1f999c fix three parser bugs the property tests turned up
628f01217e restructure the tests and assert on whole trees
d31bf0233e swap hedgehog out for QuickCheck
7a0032c7d3 add ReferenceImage to the IR and use it for ![alt][ref]
Compare 6 commits »
Pagwin pushed to main at Pagwin/psb 2026-09-04 18:37:28 +00:00
85ce3ee34a ???
Pagwin pushed to main at Pagwin/new_blog 2026-09-02 18:44:56 +00:00
4e323f8153 platonic light dark minor fixes
Pagwin pushed to new-planner-meta at Pagwin/dws-city-res-solve 2026-08-02 18:53:46 +00:00
4f115d9289 fixed a bug allowing storing of overwork charge
Pagwin created branch new-planner-meta in Pagwin/dws-city-res-solve 2026-08-02 18:31:35 +00:00
Pagwin pushed to new-planner-meta at Pagwin/dws-city-res-solve 2026-08-02 18:31:35 +00:00
6ebfeddf81 New planner meta incorporated into the model
Pagwin pushed to main at Pagwin/new_blog 2026-08-01 18:10:12 +00:00
65f9ce5e53 minor spacing difference
Pagwin pushed to main at Pagwin/new_blog 2026-07-09 03:23:40 +00:00
c223e79a46 ???
Pagwin pushed to new-main at Pagwin/dws-city-res-solve 2026-07-05 06:59:41 +00:00
4f01b3f1af session restore added
Pagwin pushed to new-main at Pagwin/dws-city-res-solve 2026-07-02 04:06:31 +00:00
71a428ee48 Google OR tools hints
Pagwin pushed to new-main at Pagwin/dws-city-res-solve 2026-07-02 01:00:20 +00:00
3f9ee57208 initial notification checkbox
Pagwin pushed to new-main at Pagwin/dws-city-res-solve 2026-06-25 20:21:39 +00:00
6ba7d08e97 license added
Pagwin pushed to new-main at Pagwin/dws-city-res-solve 2026-06-25 20:17:34 +00:00
f36ba39e58 Better collect descriptions and capitalist bug fix
Pagwin created branch f36ba39e in Pagwin/dws-city-res-solve 2026-06-22 16:53:44 +00:00
Pagwin pushed to f36ba39e at Pagwin/dws-city-res-solve 2026-06-22 16:53:44 +00:00
f36ba39e58 Better collect descriptions and capitalist bug fix
Pagwin pushed to new-main at Pagwin/dws-city-res-solve 2026-06-21 02:18:49 +00:00
63154d8e23 fixed share link bug
Pagwin pushed to new-main at Pagwin/dws-city-res-solve 2026-06-21 01:54:15 +00:00
db9eb00a6f airship constraint
76c4a3555b import functionality
Compare 2 commits »
Pagwin pushed to new-main at Pagwin/dws-city-res-solve 2026-06-19 19:32:46 +00:00
b27a73bc1f Renaming and ETA added
Pagwin pushed to new-main at Pagwin/dws-city-res-solve 2026-06-19 18:56:06 +00:00
0c94d94936 illegal amounts disallowed
dff7f995ef electrum handled correctly
Compare 2 commits »
Pagwin pushed to new-main at Pagwin/dws-city-res-solve 2026-06-19 18:07:45 +00:00
2207cf2fbc mildly better turn input