issues Search Results · language:Dune language:Python language:HTML language:JavaScript language:JavaScript language:HTML
Filter by
47.3M results
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
ThiagoPanini
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 ...
I was always unhappy about the effort required to get the portal running as a production service (cf just running using
runserver, which is just for dev). The interaction between the web server (in this ...
CapnKernel
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.