Proprietário
Inferara
2 repositórios indexados · Ver no GitHub
-
inference
🌀 Inference programming language
Rust · 25 estrelas
-
soroban-security-portal
Unified knowledge base of Soroban common vulnerabilities and best practices
TypeScript · 10 estrelas
Issues em que talvez alguém já esteja trabalhando aparecem no fim. Ordenar tudo por data
-
enhancement memory management
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
Mantenedores costumam responder em até 1 dia
-
tests
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
documentation
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 50/100
Mantenedores costumam responder em até 1 dia
-
bug
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 54/100
Mantenedores costumam responder em até 1 dia
-
enhancement rocq-translation
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
bug memory management static analysis
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 53/100
Mantenedores costumam responder em até 1 dia
-
Module constants: place static data per build mode and hand analysis and codegen one placed layoutAbertaenhancement infs memory management
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
codegen memory management refactoring
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
bug static analysis
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
bug performance severity:high
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
bug rocq-translation
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 66/100
Mantenedores costumam responder em até 1 dia
-
cli codegen enhancement memory management
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
Inferara/inference#512 · 1 responsável ·
Mantenedores costumam responder em até 1 dia
-
enhancement parser syntax
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100
Mantenedores costumam responder em até 1 dia
-
Stellar: `contractspecv0` has an empty doc for every method; `///` doc comments never reach itAbertacodegen enhancement parser stellar
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 38/100
Mantenedores costumam responder em até 1 dia
-
documentation stellar
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 51/100
Mantenedores costumam responder em até 1 dia
-
bug build cli enhancement infs spacewasm stellar
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
codegen performance
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
codegen enhancement spacewasm
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100
Mantenedores costumam responder em até 1 dia
-
spacewasm tests
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
codegen performance spacewasm
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
infs question
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100
Mantenedores costumam responder em até 1 dia
-
`exists`/`unique` spec functions refuse an explicit `-> ()` where an omitted return type is acceptedAbertabug codegen
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 78/100
Mantenedores costumam responder em até 1 dia
-
tests
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 55/100
Mantenedores costumam responder em até 1 dia
-
codegen documentation
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 78/100
Mantenedores costumam responder em até 1 dia
-
refactoring
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 82/100
Mantenedores costumam responder em até 1 dia
-
codegen enhancement
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
Mantenedores costumam responder em até 1 dia
-
enhancement linker
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 48/100
Mantenedores costumam responder em até 1 dia
-
enhancement tests
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
enhancement rocq-translation
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
Mantenedores costumam responder em até 1 dia
-
enhancement linker
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
rocq-translation
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 52/100
Mantenedores costumam responder em até 1 dia
-
assume { f(x); } puts HA_app_ok in antecedent position, handing the prover trap-freedom for freeAbertarocq-translation
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
Mantenedores costumam responder em até 1 dia
-
codegen
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100
Mantenedores costumam responder em até 1 dia
-
rocq-translation
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100
Mantenedores costumam responder em até 1 dia
-
static analysis
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100
Mantenedores costumam responder em até 1 dia
-
static analysis
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100
Mantenedores costumam responder em até 1 dia
-
wasm-to-v: inference.spec_funcs indices are never range-checked, silently renumbering the call graphAberta
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 56/100
Mantenedores costumam responder em até 1 dia
-
codegen linker need-triage
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100
Mantenedores costumam responder em até 1 dia
-
book: the Tier-B provenance lattice table describes a simpler lattice than the code implementsAbertadocumentation
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 57/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 58/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 24/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
bug rocq-translation
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 57/100
Mantenedores costumam responder em até 1 dia
-
bug rocq-translation
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
Mantenedores costumam responder em até 1 dia
-
bug rocq-translation
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 51/100
Mantenedores costumam responder em até 1 dia
-
rocq-translation tests
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
Mostrando os 100 mais recentes
Esta página lista apenas o que foi indexado mais recentemente. O filtro avançado tem o inventário completo, refinado por linguagem, dificuldade e duração.