Chủ sở hữu

samtoth

Đăng nhập để theo dõi

Đã lập chỉ mục 1 kho mã nguồn · Xem trên GitHub

Phù hợp cho người mới Tất cả
Đang mở Tất cả

Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày

  • Add references to results presented in Sam's bachelor's project
    Đang mở
    • Có gì không ổn?
    Synthetic

    Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 66/100

    samtoth/agda-synthetic-categories#373 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Use `--double-check` flag?
    Đang mở
    • Có gì không ổn?
    question

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 15/100

    samtoth/agda-synthetic-categories#369 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Split up Core.Orthogonality
    Đang mở
    • Có gì không ổn?
    chore

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    samtoth/agda-synthetic-categories#367 · 1 reaction ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Enable unused imports warning
    Đang mở
    • Có gì không ổn?

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 57/100

    samtoth/agda-synthetic-categories#364 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Forester 6 migration
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100

    samtoth/agda-synthetic-categories#360 · 2 bình luận · 1 reaction ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Prove the dependent pullback property of pushouts
    Đang mở
    • Có gì không ổn?
    good first issue

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100

    samtoth/agda-synthetic-categories#356 · 2 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Move agda pin to avoid cohesion collapse
    Đang mở
    • Có gì không ổn?

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100

    samtoth/agda-synthetic-categories#349 · 1 bình luận · 1 reaction ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Projectivity
    Đang mở
    • Có gì không ổn?
    good first issue Modalities

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    samtoth/agda-synthetic-categories#344 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Agda input mode in the web search bar
    Đang mở
    • Có gì không ổn?
    enhancement web

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    samtoth/agda-synthetic-categories#342 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Check for invalid links
    Đang mở
    • Có gì không ổn?
    infrastructure

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100

    samtoth/agda-synthetic-categories#338 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Deduplicate duals
    Đang mở
    • Có gì không ổn?
    Synthetic

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100

    samtoth/agda-synthetic-categories#330 · 8 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • The dependent universal property of colimits follows from the non-dependent universal property
    Đang mở
    • Có gì không ổn?
    good first issue

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100

    samtoth/agda-synthetic-categories#327 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Split up category modules
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    samtoth/agda-synthetic-categories#323 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Show code on macro pages
    Đang mở
    • Có gì không ổn?
    enhancement web

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100

    samtoth/agda-synthetic-categories#316 · 2 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Add simplex-hen favicon
    Đang mở
    • Có gì không ổn?
    web

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 35/100

    samtoth/agda-synthetic-categories#308 · 4 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Change name of ∂Δ¹
    Đang mở
    • Có gì không ổn?
    Synthetic

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100

    samtoth/agda-synthetic-categories#307 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Autoformatter
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    documentation infrastructure

    samtoth/agda-synthetic-categories#299 · 1 bình luận · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Nix build should use Makefile
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    infrastructure

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    samtoth/agda-synthetic-categories#296 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Stable orthogonal factorisation systems
    Đang mở
    • Có gì không ổn?
    Modalities

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    samtoth/agda-synthetic-categories#288 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Define 𝑛-coskeletal types
    Đang mở
    • Có gì không ổn?
    good first issue Synthetic

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100

    samtoth/agda-synthetic-categories#266 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Marker macro for equivalences
    Đang mở
    • Có gì không ổn?
    macro

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    samtoth/agda-synthetic-categories#263 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Tie up "Space is Segal" loose ends
    Đang mở
    • Có gì không ổn?
    Synthetic.Categories

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100

    samtoth/agda-synthetic-categories#256 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Renaming certain lattice constructions
    Đang mở
    • Có gì không ổn?
    Algebra

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    samtoth/agda-synthetic-categories#255 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Find a consistent naming scheme for diagrams and such
    Đang mở
    • Có gì không ổn?
    documentation

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100

    samtoth/agda-synthetic-categories#250 · 4 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Person pages should be dated
    Đang mở
    • Có gì không ổn?
    documentation web

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 55/100

    samtoth/agda-synthetic-categories#224 · 2 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Localisations of synthetic categories
    Đang mở
    • Có gì không ổn?
    good first issue Synthetic.Categories

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    samtoth/agda-synthetic-categories#198 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Finitely generated free 𝕀-algebras are quasicoherent
    Đang mở
    • Có gì không ổn?
    Algebra good first issue

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    samtoth/agda-synthetic-categories#196 · 2 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Equivalence between quasi-coherence and the generalised Phoa's principle
    Đang mở
    • Có gì không ổn?
    Algebra good first issue

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    samtoth/agda-synthetic-categories#195 · 3 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Closure of left orthogonal maps under pushouts in the arrow category
    Đang mở
    • Có gì không ổn?
    good first issue UnivalentFoundations

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100

    samtoth/agda-synthetic-categories#194 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • "Think discretely, act functorially"
    Đang mở
    • Có gì không ổn?
    Modalities.Cohesion Synthetic.Categories

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    samtoth/agda-synthetic-categories#193 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Structure homomorphism principle
    Đang mở
    • Có gì không ổn?
    good first issue Synthetic.Categories

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    samtoth/agda-synthetic-categories#191 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Parametricity of 𝒮
    Đang mở
    • Có gì không ổn?
    good first issue Synthetic.Categories

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    samtoth/agda-synthetic-categories#189 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Δⁿ is a category
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    good first issue Synthetic.Categories

    samtoth/agda-synthetic-categories#188 · 1 bình luận · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • License the project
    Đang mở
    • Có gì không ổn?
    documentation

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 35/100

    samtoth/agda-synthetic-categories#182 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Show the representing split morphism represents split morphisms
    Đang mở
    • Có gì không ổn?
    Synthetic.Categories

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 43/100

    samtoth/agda-synthetic-categories#162 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Wedge sum as pushout product
    Đang mở
    • Có gì không ổn?
    good first issue UnivalentFoundations

    Độ khó 4/5 1-2 ngày Mức phù hợp với người mới 48/100

    samtoth/agda-synthetic-categories#161 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Generalising accessible infinity categories
    Đang mở
    • Có gì không ổn?
    Synthetic.Categories

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 18/100

    samtoth/agda-synthetic-categories#159 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Make type argument for `Hom` implicit
    Đang mở
    • Có gì không ổn?
    chore

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 52/100

    samtoth/agda-synthetic-categories#153 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Define split factorisation systems
    Đang mở
    • Có gì không ổn?
    Modalities UnivalentFoundations

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    samtoth/agda-synthetic-categories#150 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Clean up imports section of `Synthetic` modules
    Đang mở
    • Có gì không ổn?
    chore

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100

    samtoth/agda-synthetic-categories#141 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Make library ""safe""
    Đang mở
    • Có gì không ổn?
    Axioms

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100

    samtoth/agda-synthetic-categories#134 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Emacs cannot load agda within nix-shell environment
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 4/5 1-2 ngày Mức phù hợp với người mới 43/100

    samtoth/agda-synthetic-categories#129 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Get rid of postulates
    Đang mở
    • Có gì không ổn?
    Axioms enhancement question

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 32/100

    samtoth/agda-synthetic-categories#123 · 2 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Cofinal/left anodyne maps
    Đang mở
    • Có gì không ổn?
    Synthetic.Categories

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    samtoth/agda-synthetic-categories#117 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Show the universe of Spaces is a category
    Đang mở
    • Có gì không ổn?
    Synthetic.Categories

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 28/100

    samtoth/agda-synthetic-categories#116 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Get rid of user-side `forester` dependency
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    samtoth/agda-synthetic-categories#114 · 8 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • No naïve universe of synthetic categories is Segal
    Đang mở
    • Có gì không ổn?
    Synthetic.Categories

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100

    samtoth/agda-synthetic-categories#111 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Adjunction infrastructure
    Đang mở
    • Có gì không ổn?
    good first issue Synthetic.Categories

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    samtoth/agda-synthetic-categories#110 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • (Co)cartesian fibrations
    Đang mở
    • Có gì không ổn?
    Synthetic.Categories

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    samtoth/agda-synthetic-categories#109 · 2 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Render unicode in browser tab title
    Đang mở
    • Có gì không ổn?
    bug web

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    samtoth/agda-synthetic-categories#106 · 2 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.