pavel
0 followers · 0 following
  • Joined on 2026-01-31
Repositories
17
 Projects Packages Public activity Starred repositories
pavel pushed to main at pavel/gotlin 2026-08-27 22:02:35 +00:00
314c8fb207 Expand typed SQL DSL
pavel pushed to main at pavel/gotlin 2026-08-27 21:31:49 +00:00
72606e7818 Infer final expression returns in lambdas
pavel pushed to main at pavel/gotlin 2026-08-27 21:05:53 +00:00
773c34f3f4 Add expression functions with context boundaries
pavel pushed to main at pavel/gotlin 2026-08-27 20:31:13 +00:00
5085ae51aa Inject ambient context into Go calls
pavel pushed to main at pavel/gotlin 2026-08-27 20:18:48 +00:00
acb42a5702 Preserve Gotlin semantics across packages
pavel pushed to main at pavel/gotlin 2026-08-27 19:53:36 +00:00
5b30e49486 Infer coroutine effects automatically
pavel pushed to main at pavel/gotlin 2026-08-27 19:28:15 +00:00
bac1183593 Move LSP semantics into typed analysis
pavel pushed to main at pavel/gotlin 2026-08-27 17:28:27 +00:00
f4cd4f4458 Introduce typed semantic analysis pipeline
pavel pushed to main at pavel/gotlin 2026-08-27 16:05:30 +00:00
117d188194 Use dot notation for enum variants
pavel pushed to main at pavel/gotlin 2026-08-27 15:56:15 +00:00
ab783c33ed Add value-returning match expressions
pavel pushed to main at pavel/gotlin 2026-08-27 14:57:14 +00:00
b0a52de4ea Fix camel case JSON tags
pavel pushed to main at pavel/gotlin 2026-08-27 14:45:17 +00:00
fe62e81152 Add structured coroutines and explicit error handling
pavel pushed to main at pavel/gotlin 2026-08-26 23:51:28 +00:00
de1262b4cf Expand Gotlin language and tooling
pavel pushed to main at pavel/editor 2026-07-09 06:28:11 +00:00
985aa16236 j
5b65c4c0e4 bl
41adeeb47f Embed the bundled monospace font in the client binary
8d85568713 Embed compiled SPIR-V shaders in the client binary with #load
8b1723ce31 Replace hand-rolled JSON protocol parsing with real JSON
pavel created branch main in pavel/editor 2026-07-09 06:28:11 +00:00
pavel created repository pavel/editor 2026-07-09 06:27:53 +00:00
pavel pushed to main at pavel/neoragnarok 2026-06-02 06:44:18 +00:00
294e1dd919 asdf
6fdb938524 guuuu
Compare 2 commits »
pavel pushed to main at pavel/neoragnarok 2026-05-28 22:36:59 +00:00
28f0d737b1 asdf
30de08b1ee stuff
Compare 2 commits »
pavel pushed to main at pavel/neoragnarok 2026-05-22 14:17:54 +00:00
cd40b79306 init
pavel created branch main in pavel/neoragnarok 2026-05-22 14:17:54 +00:00