Owner
samtoth
已索引 1 个仓库 · 在 GitHub 查看
-
agda-synthetic-categories
An agda library for developing synthetic category theory - and other synthetic mathematics
Agda · 35 个 star
可能已有人在做的 issue 排在最后。 全部按时间排序
-
Synthetic
难度 1/5 1 小时以内 新手友好度 66/100
samtoth/agda-synthetic-categories#373 ·
维护者通常 1 天内回复
-
question
难度 4/5 3-5 天 新手友好度 15/100
samtoth/agda-synthetic-categories#369 · 1 条评论 ·
维护者通常 1 天内回复
-
chore
难度 4/5 3-5 天 新手友好度 35/100
samtoth/agda-synthetic-categories#367 · 1 个 reaction ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 57/100
samtoth/agda-synthetic-categories#364 ·
维护者通常 1 天内回复
-
难度 3/5 1-2 天 新手友好度 48/100
samtoth/agda-synthetic-categories#360 · 2 条评论 · 1 个 reaction ·
维护者通常 1 天内回复
-
good first issue
难度 5/5 一周以上 新手友好度 15/100
samtoth/agda-synthetic-categories#356 · 2 条评论 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 68/100
samtoth/agda-synthetic-categories#349 · 1 条评论 · 1 个 reaction ·
维护者通常 1 天内回复
-
Projectivity未关闭good first issue Modalities
难度 5/5 一周以上 新手友好度 25/100
samtoth/agda-synthetic-categories#344 ·
维护者通常 1 天内回复
-
enhancement web
难度 5/5 一周以上 新手友好度 20/100
samtoth/agda-synthetic-categories#342 ·
维护者通常 1 天内回复
-
infrastructure
难度 3/5 1-2 天 新手友好度 55/100
samtoth/agda-synthetic-categories#338 · 1 条评论 ·
维护者通常 1 天内回复
-
Synthetic
难度 4/5 3-5 天 新手友好度 38/100
samtoth/agda-synthetic-categories#330 · 8 条评论 ·
维护者通常 1 天内回复
-
good first issue
难度 4/5 3-5 天 新手友好度 38/100
samtoth/agda-synthetic-categories#327 ·
维护者通常 1 天内回复
-
难度 4/5 3-5 天 新手友好度 35/100
samtoth/agda-synthetic-categories#323 ·
维护者通常 1 天内回复
-
enhancement web
难度 3/5 1-2 天 新手友好度 55/100
samtoth/agda-synthetic-categories#316 · 2 条评论 ·
维护者通常 1 天内回复
-
web
难度 2/5 1-3 小时 新手友好度 35/100
samtoth/agda-synthetic-categories#308 · 4 条评论 ·
维护者通常 1 天内回复
-
Synthetic
难度 3/5 1-2 天 新手友好度 48/100
samtoth/agda-synthetic-categories#307 ·
维护者通常 1 天内回复
-
Autoformatter可能重新可做 @fredrik-bakke 于 58 天前认领，目前没有进行中的 PR。 未关闭documentation infrastructure
samtoth/agda-synthetic-categories#299 · 1 条评论 · 已指派 1 人 ·
维护者通常 1 天内回复
-
Nix build should use Makefile可能重新可做 关联的 PR 已关闭且未合并。 未关闭infrastructure
难度 3/5 1-2 天 新手友好度 35/100
samtoth/agda-synthetic-categories#296 ·
维护者通常 1 天内回复
-
Modalities
难度 5/5 一周以上 新手友好度 25/100
samtoth/agda-synthetic-categories#288 ·
维护者通常 1 天内回复
-
good first issue Synthetic
难度 3/5 1-2 天 新手友好度 55/100
samtoth/agda-synthetic-categories#266 · 1 条评论 ·
维护者通常 1 天内回复
-
macro
难度 5/5 一周以上 新手友好度 25/100
samtoth/agda-synthetic-categories#263 ·
维护者通常 1 天内回复
-
Synthetic.Categories
难度 5/5 一周以上 新手友好度 30/100
samtoth/agda-synthetic-categories#256 ·
维护者通常 1 天内回复
-
Algebra
难度 3/5 1-2 天 新手友好度 45/100
samtoth/agda-synthetic-categories#255 ·
维护者通常 1 天内回复
-
documentation
难度 5/5 一周以上 新手友好度 30/100
samtoth/agda-synthetic-categories#250 · 4 条评论 ·
维护者通常 1 天内回复
-
documentation web
难度 2/5 1-3 小时 新手友好度 55/100
samtoth/agda-synthetic-categories#224 · 2 条评论 ·
维护者通常 1 天内回复
-
good first issue Synthetic.Categories
难度 5/5 一周以上 新手友好度 25/100
samtoth/agda-synthetic-categories#198 · 1 条评论 ·
维护者通常 1 天内回复
-
Algebra good first issue
难度 5/5 一周以上 新手友好度 25/100
samtoth/agda-synthetic-categories#196 · 2 条评论 ·
维护者通常 1 天内回复
-
Algebra good first issue
难度 5/5 一周以上 新手友好度 25/100
samtoth/agda-synthetic-categories#195 · 3 条评论 ·
维护者通常 1 天内回复
-
good first issue UnivalentFoundations
难度 5/5 一周以上 新手友好度 15/100
samtoth/agda-synthetic-categories#194 ·
维护者通常 1 天内回复
-
Modalities.Cohesion Synthetic.Categories
难度 5/5 一周以上 新手友好度 20/100
samtoth/agda-synthetic-categories#193 ·
维护者通常 1 天内回复
-
good first issue Synthetic.Categories
难度 5/5 一周以上 新手友好度 20/100
samtoth/agda-synthetic-categories#191 · 1 条评论 ·
维护者通常 1 天内回复
-
good first issue Synthetic.Categories
难度 5/5 一周以上 新手友好度 25/100
samtoth/agda-synthetic-categories#189 ·
维护者通常 1 天内回复
-
Δⁿ is a category可能重新可做 @ecavallo 于 156 天前认领，目前没有进行中的 PR。 未关闭good first issue Synthetic.Categories
samtoth/agda-synthetic-categories#188 · 1 条评论 · 已指派 1 人 ·
维护者通常 1 天内回复
-
documentation
难度 2/5 1-3 小时 新手友好度 35/100
samtoth/agda-synthetic-categories#182 ·
维护者通常 1 天内回复
-
Synthetic.Categories
难度 4/5 3-5 天 新手友好度 43/100
samtoth/agda-synthetic-categories#162 ·
维护者通常 1 天内回复
-
good first issue UnivalentFoundations
难度 4/5 1-2 天 新手友好度 48/100
samtoth/agda-synthetic-categories#161 ·
维护者通常 1 天内回复
-
Synthetic.Categories
难度 5/5 一周以上 新手友好度 18/100
samtoth/agda-synthetic-categories#159 ·
维护者通常 1 天内回复
-
chore
难度 2/5 1-3 小时 新手友好度 52/100
samtoth/agda-synthetic-categories#153 ·
维护者通常 1 天内回复
-
Modalities UnivalentFoundations
难度 5/5 一周以上 新手友好度 25/100
samtoth/agda-synthetic-categories#150 ·
维护者通常 1 天内回复
-
chore
难度 4/5 3-5 天 新手友好度 42/100
samtoth/agda-synthetic-categories#141 · 1 条评论 ·
维护者通常 1 天内回复
-
Axioms
难度 4/5 3-5 天 新手友好度 45/100
samtoth/agda-synthetic-categories#134 ·
维护者通常 1 天内回复
-
bug
难度 4/5 1-2 天 新手友好度 43/100
samtoth/agda-synthetic-categories#129 · 1 条评论 ·
维护者通常 1 天内回复
-
Axioms enhancement question
难度 5/5 一周以上 新手友好度 32/100
samtoth/agda-synthetic-categories#123 · 2 条评论 ·
维护者通常 1 天内回复
-
Synthetic.Categories
难度 5/5 一周以上 新手友好度 25/100
samtoth/agda-synthetic-categories#117 · 1 条评论 ·
维护者通常 1 天内回复
-
Synthetic.Categories
难度 5/5 一周以上 新手友好度 28/100
samtoth/agda-synthetic-categories#116 ·
维护者通常 1 天内回复
-
enhancement
难度 5/5 一周以上 新手友好度 25/100
samtoth/agda-synthetic-categories#114 · 8 条评论 ·
维护者通常 1 天内回复
-
Synthetic.Categories
难度 5/5 一周以上 新手友好度 15/100
samtoth/agda-synthetic-categories#111 ·
维护者通常 1 天内回复
-
good first issue Synthetic.Categories
难度 5/5 一周以上 新手友好度 20/100
samtoth/agda-synthetic-categories#110 ·
维护者通常 1 天内回复
-
Synthetic.Categories
难度 5/5 一周以上 新手友好度 25/100
samtoth/agda-synthetic-categories#109 · 2 条评论 ·
维护者通常 1 天内回复
-
bug web
难度 5/5 一周以上 新手友好度 35/100
samtoth/agda-synthetic-categories#106 · 2 条评论 ·
维护者通常 1 天内回复