issues Search Results · language:Dune language:JavaScript language:HTML language:Python language:Python language:JavaScript
Filter by
47.3M results
Summary
Codex++ could not reapply its patch after Codex updated.
Error
Codex.app still appears to be updating after 2m; retry repair after the update finishes.
Environment
- Platform: darwin
- ...
guochuangzzz-hue
What to build
Reskin Atlas do Roteiro da Parada (Itinerary). Backend de itinerary/stops já existe.
Comportamento end-to-end: numa Parada, usuário vê o Roteiro organizado por dias (numerados, derivados ...
phase-2
ready-for-agent
trips
web
ThiagoPanini
Hi COBRApy team,
K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology, proved in Lean 4
— no sorry, no axiom shortcuts.
For constraint-based reconstruction ...
Heime-Jorgen
What to build
Reskin Atlas do Trajeto (board de Pesquisa de Passagem) e da tela Comparar. Backend de fares/upvotes/escolhida já
existe.
Comportamento end-to-end: a partir de um Trajeto, usuário vê as ...
fares
phase-2
ready-for-agent
web
Hi Chemprop team,
K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology, proved in Lean 4
— no sorry, no axiom shortcuts.
For message-passing neural networks ...
yvos77Context
Volunteers can have multiple shiftboard_ids over the years, splitting their history. Real example: Rob Wilcox = 592
(robwilcoxjr@gmail.com, has the sampling history) and 838481 (porteavant@gmail.com, ...
mbhewitt
Home Assistant Version
2026.6.3
MG/SAIC Integration Version
1.0.0
Installation Method
HACS
Did you check for existing issues?
- [x] Yes, I have checked for existing issues
- [ ] No, I have not ...
bug
Kanga-Who
!-- jules_eval template_id: v13_authoring_guide template_version: 13.0 scope_type: backend_behavior eval_enabled: true
Agent role
You are a senior Python developer-experience engineer specialized in ...
wildersa
Hi DeepChem team,
K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology, proved in Lean 4
— no sorry, no axiom shortcuts.
For deep learning-based drug ...
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.