probablycorey
0 Followers · 0 Following
  • Joined on 2025-09-25
Repositories
5
 Projects Packages Public Activity Starred Repositories
probablycorey pushed to discord-test at probablycorey/workshop 2025-11-07 18:31:41 +00:00
a41e086d76 yes
probablycorey created branch discord-test in probablycorey/workshop 2025-11-07 18:26:38 +00:00
probablycorey pushed to discord-test at probablycorey/workshop 2025-11-07 18:26:38 +00:00
probablycorey pushed to main at probablycorey/workshop 2025-11-07 17:52:56 +00:00
883c69d517 get that subdomain
probablycorey pushed to main at probablycorey/workshop 2025-11-07 17:40:23 +00:00
bdf6a288b1 try it out!
probablycorey created branch main in probablycorey/workshop 2025-11-07 15:55:23 +00:00
probablycorey pushed to main at probablycorey/workshop 2025-11-07 15:55:23 +00:00
142d9ddf9b no more
e5904927eb don't break on lowercase readmes
e4b0ebc3e1 apps
3fc9bfad4a sneaker wip
8f8c70e10e fixed runner
Compare 10 commits »
probablycorey created repository probablycorey/workshop 2025-11-07 15:50:56 +00:00
probablycorey pushed to less-parsing at probablycorey/shrimp 2025-11-07 15:30:26 +00:00
13adbe4c0e Merge branch 'less-parsing' of 54.219.130.253:probablycorey/shrimp into less-parsing
b3ec6995db Update server.ts
854ed02625 Merge branch 'mini-fix' into less-parsing
1082cc1281 Forgot to set globals in server
Compare 4 commits »
probablycorey pushed to less-parsing at probablycorey/shrimp 2025-11-07 15:28:14 +00:00
c325bca611 Merge branch 'main' into less-parsing
afaedeea23 probably using list.sort is okay?
3ac606d0b2 prelude is now preloaded
62e42328e1 fix test issues
Compare 4 commits »
probablycorey pushed to less-parsing at probablycorey/shrimp 2025-11-07 00:59:58 +00:00
5b363c833a Merge remote-tracking branch 'origin/main' into less-parsing
e0095b110f Merge pull request 'Whoops, I had two things called scopeTracker' (#26) from name-things-better into main
a38932a833 Merge remote-tracking branch 'origin/main' into name-things-better
03596aab5b Merge branch 'name-things-better' of 54.219.130.253:probablycorey/shrimp into name-things-better
bd1dbe75f3 Merge pull request 'Make the extension know about the prelude' (#25) from extension-update into main
Compare 13 commits »
probablycorey pushed to main at probablycorey/shrimp 2025-11-07 00:58:37 +00:00
e0095b110f Merge pull request 'Whoops, I had two things called scopeTracker' (#26) from name-things-better into main
a38932a833 Merge remote-tracking branch 'origin/main' into name-things-better
03596aab5b Merge branch 'name-things-better' of 54.219.130.253:probablycorey/shrimp into name-things-better
061452a334 Better names
4494cbce91 Revert "use string.quoted for strings (for now) (until defunkt gets a new vscode theme)"
Compare 7 commits »
probablycorey merged pull request probablycorey/shrimp#26 2025-11-07 00:58:36 +00:00
Whoops, I had two things called scopeTracker
probablycorey pushed to name-things-better at probablycorey/shrimp 2025-11-07 00:58:30 +00:00
a38932a833 Merge remote-tracking branch 'origin/main' into name-things-better
03596aab5b Merge branch 'name-things-better' of 54.219.130.253:probablycorey/shrimp into name-things-better
bd1dbe75f3 Merge pull request 'Make the extension know about the prelude' (#25) from extension-update into main
669e58b71e Merge branch 'extension-update' of 54.219.130.253:probablycorey/shrimp into extension-update
152aac269f Merge remote-tracking branch 'origin/main' into extension-update
Compare 10 commits »
probablycorey pushed to main at probablycorey/shrimp 2025-11-07 00:57:49 +00:00
bd1dbe75f3 Merge pull request 'Make the extension know about the prelude' (#25) from extension-update into main
669e58b71e Merge branch 'extension-update' of 54.219.130.253:probablycorey/shrimp into extension-update
152aac269f Merge remote-tracking branch 'origin/main' into extension-update
a428e98d41 Merge branch 'main' into extension-update
ab12212df2 Make the extension know about the prelude
Compare 5 commits »
probablycorey merged pull request probablycorey/shrimp#25 2025-11-07 00:57:48 +00:00
Make the extension know about the prelude
probablycorey pushed to extension-update at probablycorey/shrimp 2025-11-07 00:57:29 +00:00
669e58b71e Merge branch 'extension-update' of 54.219.130.253:probablycorey/shrimp into extension-update
152aac269f Merge remote-tracking branch 'origin/main' into extension-update
Compare 2 commits »
probablycorey pushed to extension-update at probablycorey/shrimp 2025-11-07 00:56:10 +00:00
a428e98d41 Merge branch 'main' into extension-update
7645efc4f9 Revert "use string.quoted for strings (for now) (until defunkt gets a new vscode theme)"
47c3fda4c8 use string.quoted for strings (for now) (until defunkt gets a new vscode theme)
Compare 3 commits »
probablycorey created pull request probablycorey/shrimp#28 2025-11-06 21:38:19 +00:00
Cache the parsing
probablycorey pushed to less-parsing at probablycorey/shrimp 2025-11-06 21:37:17 +00:00
d6aea4b0f9 cache it
44b30d2339 light cleanup
3aa75843ac get rid of this
7645efc4f9 Revert "use string.quoted for strings (for now) (until defunkt gets a new vscode theme)"
47c3fda4c8 use string.quoted for strings (for now) (until defunkt gets a new vscode theme)
Compare 5 commits »