-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: muk2/pgrsql
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add detailed usage docs for writing queries and exporting results
#65
opened Feb 21, 2026 by
muk2
Owner
Loading…
3 tasks
Add direct pane navigation shortcuts and error copy support
#64
opened Feb 21, 2026 by
muk2
Owner
Loading…
8 tasks
Fix UI layout: dynamic editor/results split and scrollable help
#63
opened Feb 21, 2026 by
muk2
Owner
Loading…
5 tasks
Add client-side SQL syntax pre-validation before execution
#62
opened Feb 21, 2026 by
muk2
Owner
Loading…
6 tasks
Refactor app.rs monolith into focused submodules
#54
opened Feb 20, 2026 by
muk2
Owner
Loading…
3 tasks done
Add query execution statistics dashboard
#52
opened Feb 20, 2026 by
muk2
Owner
Loading…
2 of 5 tasks
Add optional Python bindings via PyO3 + maturin
#48
opened Feb 20, 2026 by
muk2
Owner
Loading…
3 of 5 tasks
Add find and replace in SQL editor (#35)
#43
opened Feb 19, 2026 by
muk2
Owner
Loading…
2 of 8 tasks
Add SQL query formatter/prettifier (Ctrl+Shift+F)
#41
opened Feb 19, 2026 by
muk2
Owner
Loading…
8 tasks done
Add Lean 4 formal verification layer for query optimizer
#32
opened Feb 19, 2026 by
muk2
Owner
Loading…
5 tasks done
Add multiple editor tabs with independent connections (#14)
#31
opened Feb 19, 2026 by
muk2
Owner
Loading…
4 of 9 tasks
Add query bookmarks and saved queries library
#26
opened Feb 18, 2026 by
muk2
Owner
Loading…
8 tasks
feat: mouse support for editor and UI navigation
#24
opened Feb 18, 2026 by
muk2
Owner
Loading…
3 of 9 tasks
feat: dark/light theme toggle at runtime
#21
opened Feb 18, 2026 by
muk2
Owner
Loading…
3 of 7 tasks
ProTip!
no:milestone will show everything without a milestone.