丛宇 congyu
0 Followers · 0 Following
  • Joined on 2026-03-16
Repositories
4
 Projects Code Public Activity Watched Repositories
congyu pushed to master at congyu/hakyll-coflat 2026-04-22 13:42:15 +08:00
43492094bc Simplify responsive content layout CSS
congyu pushed to master at congyu/hakyll-coflat 2026-04-20 17:52:18 +08:00
0bed1d6976 Update default.css
congyu pushed to master at congyu/hakyll-coflat 2026-04-20 15:07:27 +08:00
63010da18d Add section indexing and update autoref functionality in ChaoDoc module
congyu pushed to master at congyu/hakyll-coflat 2026-04-10 10:54:57 +08:00
a0affeb5c4 Add margin to header and remove unused styles from article and info sections
congyu pushed to master at congyu/hakyll-coflat 2026-04-09 00:23:05 +08:00
e4689268f2 Enhance CSS link styles and refactor variable names in site.hs for clarity
f592483e69 Refactor templates and update ChaoDoc module for improved structure and clarity
Compare 2 commits »
congyu pushed to master at congyu/work_with_codex 2026-04-04 00:02:55 +08:00
54e5186a21 remove fancy routes
congyu pushed to master at congyu/work_with_codex 2026-04-03 23:57:04 +08:00
f2424c043b modify templates
congyu pushed to master at congyu/work_with_codex 2026-04-01 23:38:10 +08:00
e84a1b8c78 Add Hakyll site generator and assets
congyu pushed to master at congyu/Hakysidian 2026-03-31 23:30:15 +08:00
3f0d36015b update readme
congyu pushed to master at congyu/Hakysidian 2026-03-30 11:06:02 +08:00
3a3fd97055 Split TUI from default watch mode
congyu pushed to master at congyu/Hakysidian 2026-03-30 10:42:30 +08:00
aa05d73c9c Clean up CSS and update default styles
congyu pushed to master at congyu/Hakysidian 2026-03-29 13:48:45 +08:00
3652459503 Add Unix and enable stdin-driven quit in watch TUI
fc4cac00d5 format code
Compare 2 commits »
congyu pushed to master at congyu/rainbow_base_cover 2026-03-28 15:15:58 +08:00
7ab09b3387 Add alternating-path conjecture and cographic proof
congyu pushed to master at congyu/rainbow_base_cover 2026-03-28 12:13:06 +08:00
65efd1f5bf z
congyu pushed to master at congyu/Hakysidian 2026-03-26 22:50:37 +08:00
55719f3444 fix a tui bug
d4629ec8e7 update readme
Compare 2 commits »
congyu pushed to master at congyu/Hakysidian 2026-03-26 19:36:15 +08:00
congyu pushed to master at congyu/rainbow_base_cover 2026-03-26 17:43:59 +08:00
89a458c76c Add known results and bibliography
22037a5f23 Add proof attempt and fix math markup in notes
Compare 2 commits »
congyu pushed to master at congyu/Hakysidian 2026-03-26 15:57:36 +08:00
55719f3444 fix a tui bug
d4629ec8e7 update readme
Compare 2 commits »
congyu pushed to master at congyu/rainbow_base_cover 2026-03-26 13:01:59 +08:00
c4d450f12d Add rainbow-base counterexample search and notes
3c935a5d5d Add Matroid Rainbow Base Cover notes
Compare 2 commits »
congyu created repository congyu/rainbow_base_cover 2026-03-26 11:30:27 +08:00