Inferara/inference
🌀 Inference programming language
Inferara/inference è adatto ai principianti?
Negli ultimi 30 giorni Inferara/inference ha accettato 32 delle 37 pull request di contributori esterni, e i suoi maintainer di solito rispondono entro 1 giorno. In questo momento sono aperte 7 issue adatte ai principianti.
- Stelle
- 25
- Fork
- 17
- Issue aperte per principianti
- 7
- Issue indicizzate
- 124
- Merge medio
- 21h 3m
- PR unite (30g)
- 32
- Lingua principale
- Rust
- Licenza
- GPL-3.0
- Ultimo push su GitHub
- 5/10/2026
- Ultima indicizzazione
- 6/10/2026
- Guida per i contributori
- Guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- good first issue help wanted
Come contribuire a Inferara/inference
- Leggi prima la guida per contribuire: spiega come i maintainer vogliono che le modifiche siano proposte, testate e revisionate.
- I tuoi contributi saranno pubblicati con la licenza GPL-3.0 del progetto.
- Scegli una delle 7 issue aperte adatte ai principianti qui sotto e, prima di iniziare, scrivi in un commento che vuoi occupartene.
Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data
-
bug rocq-translation
Difficoltà 4/5 3-5 giorni Idoneità per principianti 66/100
I maintainer di solito rispondono entro 1 giorno
-
cli codegen enhancement memory management
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
I maintainer di solito rispondono entro 1 giorno
-
enhancement parser syntax
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
I maintainer di solito rispondono entro 1 giorno
-
Stellar: `contractspecv0` has an empty doc for every method; `///` doc comments never reach itApertacodegen enhancement parser stellar
Difficoltà 5/5 Più di una settimana Idoneità per principianti 38/100
I maintainer di solito rispondono entro 1 giorno
-
documentation stellar
Difficoltà 4/5 3-5 giorni Idoneità per principianti 51/100
I maintainer di solito rispondono entro 1 giorno
-
bug build cli enhancement infs spacewasm stellar
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
I maintainer di solito rispondono entro 1 giorno
-
codegen performance
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
I maintainer di solito rispondono entro 1 giorno
-
codegen enhancement spacewasm
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
I maintainer di solito rispondono entro 1 giorno
-
spacewasm tests
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
I maintainer di solito rispondono entro 1 giorno
-
codegen performance spacewasm
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
I maintainer di solito rispondono entro 1 giorno
-
infs question
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
I maintainer di solito rispondono entro 1 giorno
-
`exists`/`unique` spec functions refuse an explicit `-> ()` where an omitted return type is acceptedApertabug codegen
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
I maintainer di solito rispondono entro 1 giorno
-
tests
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
I maintainer di solito rispondono entro 1 giorno
-
codegen documentation
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
I maintainer di solito rispondono entro 1 giorno
-
refactoring
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
I maintainer di solito rispondono entro 1 giorno
-
codegen enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
I maintainer di solito rispondono entro 1 giorno
-
enhancement linker
Difficoltà 5/5 Più di una settimana Idoneità per principianti 48/100
I maintainer di solito rispondono entro 1 giorno
-
enhancement tests
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
I maintainer di solito rispondono entro 1 giorno
-
enhancement rocq-translation
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
I maintainer di solito rispondono entro 1 giorno
-
enhancement linker
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
I maintainer di solito rispondono entro 1 giorno
-
rocq-translation
Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100
I maintainer di solito rispondono entro 1 giorno
-
assume { f(x); } puts HA_app_ok in antecedent position, handing the prover trap-freedom for freeApertarocq-translation
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
I maintainer di solito rispondono entro 1 giorno
-
codegen
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
I maintainer di solito rispondono entro 1 giorno
-
rocq-translation
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
I maintainer di solito rispondono entro 1 giorno
-
static analysis
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
I maintainer di solito rispondono entro 1 giorno
-
static analysis
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
I maintainer di solito rispondono entro 1 giorno
-
wasm-to-v: inference.spec_funcs indices are never range-checked, silently renumbering the call graphAperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 56/100
I maintainer di solito rispondono entro 1 giorno
-
codegen linker need-triage
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
I maintainer di solito rispondono entro 1 giorno
-
book: the Tier-B provenance lattice table describes a simpler lattice than the code implementsApertadocumentation
Difficoltà 3/5 1-2 giorni Idoneità per principianti 57/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 24/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
I maintainer di solito rispondono entro 1 giorno
-
bug rocq-translation
Difficoltà 2/5 1-3 ore Idoneità per principianti 57/100
I maintainer di solito rispondono entro 1 giorno
-
bug rocq-translation
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
I maintainer di solito rispondono entro 1 giorno
-
bug rocq-translation
Difficoltà 2/5 1-3 ore Idoneità per principianti 51/100
I maintainer di solito rispondono entro 1 giorno
-
rocq-translation tests
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
I maintainer di solito rispondono entro 1 giorno
-
bug parser syntax
Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100
Inferara/inference#395 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
bug hir
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
Inferara/inference#394 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
bug static analysis
Difficoltà 3/5 1-2 giorni Idoneità per principianti 66/100
Inferara/inference#393 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
bug hir parser
Difficoltà 3/5 1-2 giorni Idoneità per principianti 72/100
Inferara/inference#392 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
bug codegen static analysis
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
Inferara/inference#391 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
bug linker soundness
Difficoltà 4/5 1-2 giorni Idoneità per principianti 58/100
Inferara/inference#389 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
bug linker memory management
Difficoltà 4/5 3-5 giorni Idoneità per principianti 43/100
Inferara/inference#388 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
bug codegen linker memory management
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
Inferara/inference#387 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
bug codegen
Difficoltà 3/5 1-2 giorni Idoneità per principianti 65/100
Inferara/inference#386 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
bug memory management parser static analysis syntax
Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100
Inferara/inference#385 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
Vengono mostrati i 100 più recenti
Questa pagina elenca solo ciò che è stato indicizzato di recente. Il filtro avanzato contiene l'inventario completo, ristretto per linguaggio, difficoltà e durata.