jaytux
0 Followers · 0 Following
  • Joined on 2025-07-01
Repositories
4
 Projects Packages Public Activity Starred Repositories
jaytux pushed to feat/jewel-ui at jaytux/grader 2026-03-29 16:06:44 +02:00
28c3b29c3a Jewel-ize part II
18a7a82c36 Jewel-ize part I
Compare 2 commits »
jaytux created branch feat/jewel-ui in jaytux/grader 2026-03-26 14:04:24 +01:00
jaytux pushed to feat/jewel-ui at jaytux/grader 2026-03-26 14:04:24 +01:00
jaytux pushed to main at jaytux/grader 2026-03-26 14:04:07 +01:00
bdc56748dd Finished UI overhaul
jaytux opened issue jaytux/grader#4 2026-03-17 15:08:36 +01:00
UI state should reset when moving back to another view
jaytux opened issue jaytux/grader#3 2026-03-17 15:08:12 +01:00
Grading system changes should propagate automatically
jaytux opened issue jaytux/grader#2 2026-03-17 15:05:11 +01:00
Allow moving between assignments in grading view
jaytux opened issue jaytux/grader#1 2026-03-17 15:04:06 +01:00
Always show student role in group-like view
jaytux pushed to main at jaytux/grader 2026-03-11 16:46:26 +01:00
52ff467d9c Bugfix
jaytux pushed to main at jaytux/grader 2026-03-11 15:29:41 +01:00
8786cc6072 Restructure DB & UI, pt.1
jaytux pushed to main at jaytux/jaytux.com 2026-02-22 23:46:18 +01:00
9b620eabb6 Sync script
jaytux pushed to main at jaytux/jaytux.com 2026-02-22 23:40:55 +01:00
25d928c75f Update teaching
jaytux pushed to main at jaytux/jaytux.com 2026-01-12 16:42:43 +01:00
f8145c5409 Artifact review <Programming>
jaytux pushed to main at jaytux/jaytux.com 2025-09-24 18:38:08 +02:00
e2d6847673 And, of course, a typo
jaytux pushed to main at jaytux/jaytux.com 2025-09-24 18:37:31 +02:00
4dfb816bb4 Forgot some spaces
jaytux pushed to main at jaytux/jaytux.com 2025-09-24 18:35:36 +02:00
2b828878c7 Added Foundations'25
jaytux pushed to main at jaytux/jaytux.com 2025-09-16 17:09:18 +02:00
e676474090 Remove flags
jaytux pushed tag 1.0-beta to jaytux/alt-graph 2025-09-09 19:06:48 +02:00
jaytux pushed to main at jaytux/alt-graph 2025-09-09 19:05:24 +02:00
b00dc96f5b Improved layouting (minimize #crossings)
jaytux pushed tag 1.0-alpha to jaytux/alt-graph 2025-09-05 11:20:11 +02:00