Proprietario

samtoth

Accedi per seguire

1 repository indicizzato · Vedi su GitHub

Adatte ai principianti Tutto
Aperta Tutte

Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data

  • Add references to results presented in Sam's bachelor's project
    Aperta
    • Qualcosa non va?
    Synthetic

    Difficoltà 1/5 Meno di un'ora Idoneità per principianti 66/100

    samtoth/agda-synthetic-categories#373 ·

    I maintainer di solito rispondono entro 1 giorno

  • Use `--double-check` flag?
    Aperta
    • Qualcosa non va?
    question

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 15/100

    samtoth/agda-synthetic-categories#369 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Split up Core.Orthogonality
    Aperta
    • Qualcosa non va?
    chore

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

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

    I maintainer di solito rispondono entro 1 giorno

  • Enable unused imports warning
    Aperta
    • Qualcosa non va?

    Difficoltà 2/5 1-3 ore Idoneità per principianti 57/100

    samtoth/agda-synthetic-categories#364 ·

    I maintainer di solito rispondono entro 1 giorno

  • Forester 6 migration
    Aperta
    • Qualcosa non va?

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100

    samtoth/agda-synthetic-categories#360 · 2 commenti · 1 reazione ·

    I maintainer di solito rispondono entro 1 giorno

  • Prove the dependent pullback property of pushouts
    Aperta
    • Qualcosa non va?
    good first issue

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

    samtoth/agda-synthetic-categories#356 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Move agda pin to avoid cohesion collapse
    Aperta
    • Qualcosa non va?

    Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

    samtoth/agda-synthetic-categories#349 · 1 commento · 1 reazione ·

    I maintainer di solito rispondono entro 1 giorno

  • Projectivity
    Aperta
    • Qualcosa non va?
    good first issue Modalities

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    samtoth/agda-synthetic-categories#344 ·

    I maintainer di solito rispondono entro 1 giorno

  • Agda input mode in the web search bar
    Aperta
    • Qualcosa non va?
    enhancement web

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

    samtoth/agda-synthetic-categories#342 ·

    I maintainer di solito rispondono entro 1 giorno

  • Check for invalid links
    Aperta
    • Qualcosa non va?
    infrastructure

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100

    samtoth/agda-synthetic-categories#338 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Deduplicate duals
    Aperta
    • Qualcosa non va?
    Synthetic

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

    samtoth/agda-synthetic-categories#330 · 8 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • The dependent universal property of colimits follows from the non-dependent universal property
    Aperta
    • Qualcosa non va?
    good first issue

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

    samtoth/agda-synthetic-categories#327 ·

    I maintainer di solito rispondono entro 1 giorno

  • Split up category modules
    Aperta
    • Qualcosa non va?

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    samtoth/agda-synthetic-categories#323 ·

    I maintainer di solito rispondono entro 1 giorno

  • Show code on macro pages
    Aperta
    • Qualcosa non va?
    enhancement web

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100

    samtoth/agda-synthetic-categories#316 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Add simplex-hen favicon
    Aperta
    • Qualcosa non va?
    web

    Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100

    samtoth/agda-synthetic-categories#308 · 4 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Change name of ∂Δ¹
    Aperta
    • Qualcosa non va?
    Synthetic

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100

    samtoth/agda-synthetic-categories#307 ·

    I maintainer di solito rispondono entro 1 giorno

  • Autoformatter
    Forse di nuovo libera Aperta
    • Qualcosa non va?
    documentation infrastructure

    samtoth/agda-synthetic-categories#299 · 1 commento · 1 assegnatario ·

    I maintainer di solito rispondono entro 1 giorno

  • Nix build should use Makefile
    Forse di nuovo libera Aperta
    • Qualcosa non va?
    infrastructure

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

    samtoth/agda-synthetic-categories#296 ·

    I maintainer di solito rispondono entro 1 giorno

  • Stable orthogonal factorisation systems
    Aperta
    • Qualcosa non va?
    Modalities

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    samtoth/agda-synthetic-categories#288 ·

    I maintainer di solito rispondono entro 1 giorno

  • Define 𝑛-coskeletal types
    Aperta
    • Qualcosa non va?
    good first issue Synthetic

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100

    samtoth/agda-synthetic-categories#266 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Marker macro for equivalences
    Aperta
    • Qualcosa non va?
    macro

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    samtoth/agda-synthetic-categories#263 ·

    I maintainer di solito rispondono entro 1 giorno

  • Tie up "Space is Segal" loose ends
    Aperta
    • Qualcosa non va?
    Synthetic.Categories

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

    samtoth/agda-synthetic-categories#256 ·

    I maintainer di solito rispondono entro 1 giorno

  • Renaming certain lattice constructions
    Aperta
    • Qualcosa non va?
    Algebra

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

    samtoth/agda-synthetic-categories#255 ·

    I maintainer di solito rispondono entro 1 giorno

  • Find a consistent naming scheme for diagrams and such
    Aperta
    • Qualcosa non va?
    documentation

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

    samtoth/agda-synthetic-categories#250 · 4 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Person pages should be dated
    Aperta
    • Qualcosa non va?
    documentation web

    Difficoltà 2/5 1-3 ore Idoneità per principianti 55/100

    samtoth/agda-synthetic-categories#224 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Localisations of synthetic categories
    Aperta
    • Qualcosa non va?
    good first issue Synthetic.Categories

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    samtoth/agda-synthetic-categories#198 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Finitely generated free 𝕀-algebras are quasicoherent
    Aperta
    • Qualcosa non va?
    Algebra good first issue

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    samtoth/agda-synthetic-categories#196 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Equivalence between quasi-coherence and the generalised Phoa's principle
    Aperta
    • Qualcosa non va?
    Algebra good first issue

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    samtoth/agda-synthetic-categories#195 · 3 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Closure of left orthogonal maps under pushouts in the arrow category
    Aperta
    • Qualcosa non va?
    good first issue UnivalentFoundations

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

    samtoth/agda-synthetic-categories#194 ·

    I maintainer di solito rispondono entro 1 giorno

  • "Think discretely, act functorially"
    Aperta
    • Qualcosa non va?
    Modalities.Cohesion Synthetic.Categories

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

    samtoth/agda-synthetic-categories#193 ·

    I maintainer di solito rispondono entro 1 giorno

  • Structure homomorphism principle
    Aperta
    • Qualcosa non va?
    good first issue Synthetic.Categories

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

    samtoth/agda-synthetic-categories#191 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Parametricity of 𝒮
    Aperta
    • Qualcosa non va?
    good first issue Synthetic.Categories

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    samtoth/agda-synthetic-categories#189 ·

    I maintainer di solito rispondono entro 1 giorno

  • Δⁿ is a category
    Forse di nuovo libera Aperta
    • Qualcosa non va?
    good first issue Synthetic.Categories

    samtoth/agda-synthetic-categories#188 · 1 commento · 1 assegnatario ·

    I maintainer di solito rispondono entro 1 giorno

  • License the project
    Aperta
    • Qualcosa non va?
    documentation

    Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100

    samtoth/agda-synthetic-categories#182 ·

    I maintainer di solito rispondono entro 1 giorno

  • Show the representing split morphism represents split morphisms
    Aperta
    • Qualcosa non va?
    Synthetic.Categories

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 43/100

    samtoth/agda-synthetic-categories#162 ·

    I maintainer di solito rispondono entro 1 giorno

  • Wedge sum as pushout product
    Aperta
    • Qualcosa non va?
    good first issue UnivalentFoundations

    Difficoltà 4/5 1-2 giorni Idoneità per principianti 48/100

    samtoth/agda-synthetic-categories#161 ·

    I maintainer di solito rispondono entro 1 giorno

  • Generalising accessible infinity categories
    Aperta
    • Qualcosa non va?
    Synthetic.Categories

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 18/100

    samtoth/agda-synthetic-categories#159 ·

    I maintainer di solito rispondono entro 1 giorno

  • Make type argument for `Hom` implicit
    Aperta
    • Qualcosa non va?
    chore

    Difficoltà 2/5 1-3 ore Idoneità per principianti 52/100

    samtoth/agda-synthetic-categories#153 ·

    I maintainer di solito rispondono entro 1 giorno

  • Define split factorisation systems
    Aperta
    • Qualcosa non va?
    Modalities UnivalentFoundations

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    samtoth/agda-synthetic-categories#150 ·

    I maintainer di solito rispondono entro 1 giorno

  • Clean up imports section of `Synthetic` modules
    Aperta
    • Qualcosa non va?
    chore

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 42/100

    samtoth/agda-synthetic-categories#141 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Make library ""safe""
    Aperta
    • Qualcosa non va?
    Axioms

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

    samtoth/agda-synthetic-categories#134 ·

    I maintainer di solito rispondono entro 1 giorno

  • Emacs cannot load agda within nix-shell environment
    Aperta
    • Qualcosa non va?
    bug

    Difficoltà 4/5 1-2 giorni Idoneità per principianti 43/100

    samtoth/agda-synthetic-categories#129 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Get rid of postulates
    Aperta
    • Qualcosa non va?
    Axioms enhancement question

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 32/100

    samtoth/agda-synthetic-categories#123 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Cofinal/left anodyne maps
    Aperta
    • Qualcosa non va?
    Synthetic.Categories

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    samtoth/agda-synthetic-categories#117 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Show the universe of Spaces is a category
    Aperta
    • Qualcosa non va?
    Synthetic.Categories

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 28/100

    samtoth/agda-synthetic-categories#116 ·

    I maintainer di solito rispondono entro 1 giorno

  • Get rid of user-side `forester` dependency
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    samtoth/agda-synthetic-categories#114 · 8 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • No naïve universe of synthetic categories is Segal
    Aperta
    • Qualcosa non va?
    Synthetic.Categories

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

    samtoth/agda-synthetic-categories#111 ·

    I maintainer di solito rispondono entro 1 giorno

  • Adjunction infrastructure
    Aperta
    • Qualcosa non va?
    good first issue Synthetic.Categories

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

    samtoth/agda-synthetic-categories#110 ·

    I maintainer di solito rispondono entro 1 giorno

  • (Co)cartesian fibrations
    Aperta
    • Qualcosa non va?
    Synthetic.Categories

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    samtoth/agda-synthetic-categories#109 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Render unicode in browser tab title
    Aperta
    • Qualcosa non va?
    bug web

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

    samtoth/agda-synthetic-categories#106 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.