Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

Proprietario

1 repository indicizzato · Vedi su GitHub

Caricamento delle issue

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

  • Close testing gaps for operations on symbolic containers
    Aperta
    enhancement

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

    pschanely/CrossHair#518 ·

    I maintainer di solito rispondono entro 1 giorno

  • Unsound: concatenating a symbolic tuple drops its container-type gate, so it compares equal to a list
    Aperta
    bug

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

    pschanely/CrossHair#516 ·

    I maintainer di solito rispondono entro 1 giorno

  • CrossHairInternal "Numeric operation on symbolic while not tracing" via deep_realize → _deepconstruct → user __getstate__ (repro on attrs)
    Aperta

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

    pschanely/CrossHair#509 ·

    I maintainer di solito rispondono entro 1 giorno

  • Follow-up windows support tasks
    Aperta
    enhancement

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

    pschanely/CrossHair#467 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • measure_support over-reports "black" (soundness-bug) cells: ~96% are false positives
    Aperta

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

    pschanely/CrossHair#456 ·

    I maintainer di solito rispondono entro 1 giorno

  • Symbolic float model (RealBasedSymbolicFloat) diverges from IEEE-754 → false counterexamples in %, divmod, round, pow
    Aperta

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

    pschanely/CrossHair#455 ·

    I maintainer di solito rispondono entro 1 giorno

  • Unsound: mutating a symbolic array.array then comparing it to a concrete array.array falsely confirms
    Forse di nuovo libera Una pull request per questa issue è stata chiusa senza essere unita. Aperta

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

    pschanely/CrossHair#453 ·

    I maintainer di solito rispondono entro 1 giorno

  • Investigate Python 3.15 support
    Aperta
    enhancement

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

    pschanely/CrossHair#437 · 4 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Support dateutil.relativedelta on the ordinal date representation
    Aperta
    enhancement

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

    pschanely/CrossHair#431 ·

    I maintainer di solito rispondono entro 1 giorno

  • Introduce lazy, import-triggered registration (and a clean pattern for optional-module libimpl)
    Aperta
    enhancement

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

    pschanely/CrossHair#430 ·

    I maintainer di solito rispondono entro 1 giorno

  • Use modern defaults for codebase
    Aperta

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

    pschanely/CrossHair#417 · 3 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Triage very slow hypothesis test under crosshair
    Aperta

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

    pschanely/CrossHair#392 ·

    I maintainer di solito rispondono entro 1 giorno

  • Side effect not detected on Unstructured-IO/unstructured code
    Aperta

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

    pschanely/CrossHair#388 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Provide better error messaging when type resolution fails
    Aperta

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

    pschanely/CrossHair#380 · 3 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Assert post-conditions not recognized
    Aperta

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

    pschanely/CrossHair#361 · 4 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Support symbolic indexing into concrete containers
    Aperta
    enhancement

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

    pschanely/CrossHair#332 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Cover example differs
    Aperta

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

    pschanely/CrossHair#316 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Publish a wasm build so Crosshair can be used on the client-side web
    Aperta
    enhancement

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

    pschanely/CrossHair#314 · 9 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Avoid weakref nondeterminism
    Aperta

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

    pschanely/CrossHair#313 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Perform validating executions
    Aperta
    enhancement

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

    pschanely/CrossHair#309 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Lazy-load function patches
    Aperta
    enhancement

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

    pschanely/CrossHair#298 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Missing (~esoteric) proxy type emulations
    Aperta

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

    pschanely/CrossHair#288 ·

    I maintainer di solito rispondono entro 1 giorno

  • Crash when integer has (way) too many digits
    Aperta

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

    pschanely/CrossHair#285 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Fully support stream-based and incremental encode/decode.
    Aperta

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

    pschanely/CrossHair#273 ·

    I maintainer di solito rispondono entro 1 giorno

  • Implement pluggable smtlib2 backends
    Aperta
    enhancement

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

    pschanely/CrossHair#250 ·

    I maintainer di solito rispondono entro 1 giorno

  • Heuristics for lengths of sequence-like symbolics
    Aperta
    enhancement

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

    pschanely/CrossHair#247 ·

    I maintainer di solito rispondono entro 1 giorno

  • Improve premature realization heuristics
    Aperta
    enhancement

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

    pschanely/CrossHair#245 ·

    I maintainer di solito rispondono entro 1 giorno

  • Ensure all isinstance checks account for undecided types
    Aperta

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

    pschanely/CrossHair#237 ·

    I maintainer di solito rispondono entro 1 giorno

  • Unexpected checking results for functions with/without type annotations
    Aperta

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

    pschanely/CrossHair#234 · 5 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Support atomic grouping and possessive quantifiers
    Aperta

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

    pschanely/CrossHair#211 ·

    I maintainer di solito rispondono entro 1 giorno

  • Unexpected counterexample when indexing a symbolic sequence by a object of unknown type
    Aperta

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

    pschanely/CrossHair#200 ·

    I maintainer di solito rispondono entro 1 giorno

  • "watch""check" return nothing
    Aperta

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

    pschanely/CrossHair#199 · 6 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Neovim LSP Support
    Aperta
    enhancement

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

    pschanely/CrossHair#198 · 5 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • `None` in `max` and `min` goes undetected
    Aperta

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

    pschanely/CrossHair#194 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Do not attempt to short-circuit calls with concrete arguments
    Aperta

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

    pschanely/CrossHair#190 ·

    I maintainer di solito rispondono entro 1 giorno

  • Re-investigate string and sequence solvers
    Aperta

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

    pschanely/CrossHair#189 · 7 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Generated test suite with cover option contains failing tests
    Aperta

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

    pschanely/CrossHair#188 · 5 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Extending native types doesn't work as expected
    Aperta

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

    pschanely/CrossHair#184 · 2 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Independent blog posts about CrossHair
    Aperta
    good first issue Hacktoberfest help wanted

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

    pschanely/CrossHair#173 · 3 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Contract enforcement of calls with *a/**kw on windows does not happen.
    Aperta

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

    pschanely/CrossHair#169 ·

    I maintainer di solito rispondono entro 1 giorno

  • Handle revamped invocation opcodes in Python 3.11
    Aperta

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

    pschanely/CrossHair#168 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Pretty printing object instances (counter examples)
    Aperta
    enhancement

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

    pschanely/CrossHair#164 · 7 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Register contracts for nondeterministic functions in the standard library
    Aperta
    enhancement

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

    pschanely/CrossHair#162 · 2 commenti · 1 reazione ·

    I maintainer di solito rispondono entro 1 giorno

  • Support literal dictionaries with symbolic keys
    Forse di nuovo libera @aksh16 l’ha presa 568 giorni fa e non c’è nessuna pull request aperta. Aperta
    enhancement Hacktoberfest

    pschanely/CrossHair#154 · 5 commenti · 1 assegnatario ·

    I maintainer di solito rispondono entro 1 giorno

  • Add symbolic support for BytesIO
    Aperta
    enhancement

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

    pschanely/CrossHair#151 ·

    I maintainer di solito rispondono entro 1 giorno

  • Support targeting by package names, not just module names
    Aperta
    enhancement

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

    pschanely/CrossHair#147 ·

    I maintainer di solito rispondono entro 1 giorno

  • Obtain symbolic values and path conditions without concretization after `path_cover` for post-testing analysis
    Aperta
    enhancement

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

    pschanely/CrossHair#142 · 4 commenti ·

    I maintainer di solito rispondono entro 1 giorno

  • Symbolic string encode/decode
    Aperta
    enhancement

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

    pschanely/CrossHair#137 · 1 commento ·

    I maintainer di solito rispondono entro 1 giorno

  • Consider moving tests outside of application code
    Aperta
    enhancement

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

    pschanely/CrossHair#135 · 1 commento · 1 reazione ·

    I maintainer di solito rispondono entro 1 giorno

  • Do not repeatedly check fully-verifiable conditions in `crosshair watch`
    Aperta

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

    pschanely/CrossHair#134 ·

    I maintainer di solito rispondono entro 1 giorno

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.