samtoth

誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示

• Add references to results presented in Sam's bachelor's project

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Synthetic

  難易度 1/5 1時間未満 初心者へのやさしさ 66/100

  samtoth/agda-synthetic-categories#373 · 2026年11月12日 に作成

  メンテナーはふだん 1 日以内に返信

• Use `--double-check` flag?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  question

  難易度 4/5 3〜5日 初心者へのやさしさ 15/100

  samtoth/agda-synthetic-categories#369 · コメント 1 件 · 2026年11月2日 に作成

  メンテナーはふだん 1 日以内に返信

• Split up Core.Orthogonality

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  chore

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  samtoth/agda-synthetic-categories#367 · リアクション 1 件 · 2026年10月30日 に作成

  メンテナーはふだん 1 日以内に返信

• Enable unused imports warning

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 2/5 1〜3時間 初心者へのやさしさ 57/100

  samtoth/agda-synthetic-categories#364 · 2026年10月29日 に作成

  メンテナーはふだん 1 日以内に返信

• Forester 6 migration

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 48/100

  samtoth/agda-synthetic-categories#360 · コメント 2 件 · リアクション 1 件 · 2026年10月19日 に作成

  メンテナーはふだん 1 日以内に返信

• Prove the dependent pullback property of pushouts

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  good first issue

  難易度 5/5 1週間以上 初心者へのやさしさ 15/100

  samtoth/agda-synthetic-categories#356 · コメント 2 件 · 2026年10月14日 に作成

  メンテナーはふだん 1 日以内に返信

• Move agda pin to avoid cohesion collapse

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 2/5 1〜3時間 初心者へのやさしさ 68/100

  samtoth/agda-synthetic-categories#349 · コメント 1 件 · リアクション 1 件 · 2026年10月6日 に作成

  メンテナーはふだん 1 日以内に返信

• Projectivity

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  good first issue Modalities

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  samtoth/agda-synthetic-categories#344 · 2026年10月2日 に作成

  メンテナーはふだん 1 日以内に返信

• Agda input mode in the web search bar

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement web

  難易度 5/5 1週間以上 初心者へのやさしさ 20/100

  samtoth/agda-synthetic-categories#342 · 2026年9月28日 に作成

  メンテナーはふだん 1 日以内に返信

• Check for invalid links

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  infrastructure

  難易度 3/5 1〜2日 初心者へのやさしさ 55/100

  samtoth/agda-synthetic-categories#338 · コメント 1 件 · 2026年9月25日 に作成

  メンテナーはふだん 1 日以内に返信

• Deduplicate duals

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Synthetic

  難易度 4/5 3〜5日 初心者へのやさしさ 38/100

  samtoth/agda-synthetic-categories#330 · コメント 8 件 · 2026年9月22日 に作成

  メンテナーはふだん 1 日以内に返信

• The dependent universal property of colimits follows from the non-dependent universal property

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  good first issue

  難易度 4/5 3〜5日 初心者へのやさしさ 38/100

  samtoth/agda-synthetic-categories#327 · 2026年9月21日 に作成

  メンテナーはふだん 1 日以内に返信

• Split up category modules

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  samtoth/agda-synthetic-categories#323 · 2026年9月20日 に作成

  メンテナーはふだん 1 日以内に返信

• Show code on macro pages

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement web

  難易度 3/5 1〜2日 初心者へのやさしさ 55/100

  samtoth/agda-synthetic-categories#316 · コメント 2 件 · 2026年9月17日 に作成

  メンテナーはふだん 1 日以内に返信

• Add simplex-hen favicon

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  web

  難易度 2/5 1〜3時間 初心者へのやさしさ 35/100

  samtoth/agda-synthetic-categories#308 · コメント 4 件 · 2026年9月16日 に作成

  メンテナーはふだん 1 日以内に返信

• Change name of ∂Δ¹

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Synthetic

  難易度 3/5 1〜2日 初心者へのやさしさ 48/100

  samtoth/agda-synthetic-categories#307 · 2026年9月16日 に作成

  メンテナーはふだん 1 日以内に返信

• Autoformatter

  再び着手できるかも @fredrik-bakke が 58 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  documentation infrastructure

  samtoth/agda-synthetic-categories#299 · コメント 1 件 · 担当者 1 名 · 2026年9月15日 に作成

  メンテナーはふだん 1 日以内に返信

• Nix build should use Makefile

  再び着手できるかも このイシューのプルリクエストはマージされずにクローズされました。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  infrastructure

  難易度 3/5 1〜2日 初心者へのやさしさ 35/100

  samtoth/agda-synthetic-categories#296 · 2026年9月14日 に作成

  メンテナーはふだん 1 日以内に返信

• Stable orthogonal factorisation systems

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Modalities

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  samtoth/agda-synthetic-categories#288 · 2026年9月12日 に作成

  メンテナーはふだん 1 日以内に返信

• Define 𝑛-coskeletal types

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  good first issue Synthetic

  難易度 3/5 1〜2日 初心者へのやさしさ 55/100

  samtoth/agda-synthetic-categories#266 · コメント 1 件 · 2026年9月5日 に作成

  メンテナーはふだん 1 日以内に返信

• Marker macro for equivalences

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  macro

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  samtoth/agda-synthetic-categories#263 · 2026年9月4日 に作成

  メンテナーはふだん 1 日以内に返信

• Tie up "Space is Segal" loose ends

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Synthetic.Categories

  難易度 5/5 1週間以上 初心者へのやさしさ 30/100

  samtoth/agda-synthetic-categories#256 · 2026年9月1日 に作成

  メンテナーはふだん 1 日以内に返信

• Renaming certain lattice constructions

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Algebra

  難易度 3/5 1〜2日 初心者へのやさしさ 45/100

  samtoth/agda-synthetic-categories#255 · 2026年9月1日 に作成

  メンテナーはふだん 1 日以内に返信

• Find a consistent naming scheme for diagrams and such

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  documentation

  難易度 5/5 1週間以上 初心者へのやさしさ 30/100

  samtoth/agda-synthetic-categories#250 · コメント 4 件 · 2026年8月27日 に作成

  メンテナーはふだん 1 日以内に返信

• Person pages should be dated

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  documentation web

  難易度 2/5 1〜3時間 初心者へのやさしさ 55/100

  samtoth/agda-synthetic-categories#224 · コメント 2 件 · 2026年6月26日 に作成

  メンテナーはふだん 1 日以内に返信

• Localisations of synthetic categories

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  good first issue Synthetic.Categories

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  samtoth/agda-synthetic-categories#198 · コメント 1 件 · 2026年6月9日 に作成

  メンテナーはふだん 1 日以内に返信

• Finitely generated free 𝕀-algebras are quasicoherent

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Algebra good first issue

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  samtoth/agda-synthetic-categories#196 · コメント 2 件 · 2026年6月8日 に作成

  メンテナーはふだん 1 日以内に返信

• Equivalence between quasi-coherence and the generalised Phoa's principle

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Algebra good first issue

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  samtoth/agda-synthetic-categories#195 · コメント 3 件 · 2026年6月8日 に作成

  メンテナーはふだん 1 日以内に返信

• Closure of left orthogonal maps under pushouts in the arrow category

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  good first issue UnivalentFoundations

  難易度 5/5 1週間以上 初心者へのやさしさ 15/100

  samtoth/agda-synthetic-categories#194 · 2026年6月8日 に作成

  メンテナーはふだん 1 日以内に返信

• "Think discretely, act functorially"

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Modalities.Cohesion Synthetic.Categories

  難易度 5/5 1週間以上 初心者へのやさしさ 20/100

  samtoth/agda-synthetic-categories#193 · 2026年6月8日 に作成

  メンテナーはふだん 1 日以内に返信

• Structure homomorphism principle

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  good first issue Synthetic.Categories

  難易度 5/5 1週間以上 初心者へのやさしさ 20/100

  samtoth/agda-synthetic-categories#191 · コメント 1 件 · 2026年6月8日 に作成

  メンテナーはふだん 1 日以内に返信

• Parametricity of 𝒮

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  good first issue Synthetic.Categories

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  samtoth/agda-synthetic-categories#189 · 2026年6月8日 に作成

  メンテナーはふだん 1 日以内に返信

• Δⁿ is a category

  再び着手できるかも @ecavallo が 156 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  good first issue Synthetic.Categories

  samtoth/agda-synthetic-categories#188 · コメント 1 件 · 担当者 1 名 · 2026年6月8日 に作成

  メンテナーはふだん 1 日以内に返信

• License the project

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  documentation

  難易度 2/5 1〜3時間 初心者へのやさしさ 35/100

  samtoth/agda-synthetic-categories#182 · 2026年6月5日 に作成

  メンテナーはふだん 1 日以内に返信

• Show the representing split morphism represents split morphisms

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Synthetic.Categories

  難易度 4/5 3〜5日 初心者へのやさしさ 43/100

  samtoth/agda-synthetic-categories#162 · 2026年5月27日 に作成

  メンテナーはふだん 1 日以内に返信

• Wedge sum as pushout product

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  good first issue UnivalentFoundations

  難易度 4/5 1〜2日 初心者へのやさしさ 48/100

  samtoth/agda-synthetic-categories#161 · 2026年5月27日 に作成

  メンテナーはふだん 1 日以内に返信

• Generalising accessible infinity categories

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Synthetic.Categories

  難易度 5/5 1週間以上 初心者へのやさしさ 18/100

  samtoth/agda-synthetic-categories#159 · 2026年5月26日 に作成

  メンテナーはふだん 1 日以内に返信

• Make type argument for `Hom` implicit

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  chore

  難易度 2/5 1〜3時間 初心者へのやさしさ 52/100

  samtoth/agda-synthetic-categories#153 · 2026年5月20日 に作成

  メンテナーはふだん 1 日以内に返信

• Define split factorisation systems

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Modalities UnivalentFoundations

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  samtoth/agda-synthetic-categories#150 · 2026年5月20日 に作成

  メンテナーはふだん 1 日以内に返信

• Clean up imports section of `Synthetic` modules

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  chore

  難易度 4/5 3〜5日 初心者へのやさしさ 42/100

  samtoth/agda-synthetic-categories#141 · コメント 1 件 · 2026年5月13日 に作成

  メンテナーはふだん 1 日以内に返信

• Make library ""safe""

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Axioms

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  samtoth/agda-synthetic-categories#134 · 2026年4月30日 に作成

  メンテナーはふだん 1 日以内に返信

• Emacs cannot load agda within nix-shell environment

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug

  難易度 4/5 1〜2日 初心者へのやさしさ 43/100

  samtoth/agda-synthetic-categories#129 · コメント 1 件 · 2026年4月29日 に作成

  メンテナーはふだん 1 日以内に返信

• Get rid of postulates

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Axioms enhancement question

  難易度 5/5 1週間以上 初心者へのやさしさ 32/100

  samtoth/agda-synthetic-categories#123 · コメント 2 件 · 2026年4月28日 に作成

  メンテナーはふだん 1 日以内に返信

• Cofinal/left anodyne maps

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Synthetic.Categories

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  samtoth/agda-synthetic-categories#117 · コメント 1 件 · 2026年4月22日 に作成

  メンテナーはふだん 1 日以内に返信

• Show the universe of Spaces is a category

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Synthetic.Categories

  難易度 5/5 1週間以上 初心者へのやさしさ 28/100

  samtoth/agda-synthetic-categories#116 · 2026年4月22日 に作成

  メンテナーはふだん 1 日以内に返信

• Get rid of user-side `forester` dependency

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  samtoth/agda-synthetic-categories#114 · コメント 8 件 · 2026年4月22日 に作成

  メンテナーはふだん 1 日以内に返信

• No naïve universe of synthetic categories is Segal

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Synthetic.Categories

  難易度 5/5 1週間以上 初心者へのやさしさ 15/100

  samtoth/agda-synthetic-categories#111 · 2026年4月22日 に作成

  メンテナーはふだん 1 日以内に返信

• Adjunction infrastructure

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  good first issue Synthetic.Categories

  難易度 5/5 1週間以上 初心者へのやさしさ 20/100

  samtoth/agda-synthetic-categories#110 · 2026年4月22日 に作成

  メンテナーはふだん 1 日以内に返信

• (Co)cartesian fibrations

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Synthetic.Categories

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  samtoth/agda-synthetic-categories#109 · コメント 2 件 · 2026年4月22日 に作成

  メンテナーはふだん 1 日以内に返信

• Render unicode in browser tab title

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug web

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  samtoth/agda-synthetic-categories#106 · コメント 2 件 · 2026年4月21日 に作成

  メンテナーはふだん 1 日以内に返信