issues Search Results · language:Edge language:Python language:JavaScript language:Python language:JavaScript language:Java
Filter by
55M results
Parent
#1
What to build
Update AccountsPanelComponent on the Dashboard to reflect the active account and expose account management actions.
Changes:
- Active account is visually distinct from other ...
ready-for-agent
IncogVito
K-Lean offers machine-verified mathematical contracts for spatial transcriptomics deconvolution.
For cell2location, the following contracts are relevant:
ShannonEntropy: formal proof that the variational ...
Heime-Jorgen
K-Lean offers machine-verified mathematical contracts for single-cell copy number analysis.
For inferCNVpy, the following contracts are relevant:
GCContent: formal proof that GC correction factors remain ...
K-Lean offers machine-verified mathematical contracts for single-cell doublet detection.
For DoubletDetection, the following contracts are relevant:
ShannonEntropy: machine-checked proof that mixing ...
Parent
#1
What to build
Scope GET /api/jobs/history to the active account. Currently the endpoint returns task history across all accounts. Add
an accountId query parameter; the backend filters the ...
ready-for-agent
Parent: #138 Related: #136, #137
Goal
Clean the v1-pilot-awareness-spine branch and open a reviewable pull request into main.
Required Work
1. Check out branch v1-pilot-awareness-spine.
2. Remove ...
jpayne6394
SehataKuroK-Lean offers machine-verified mathematical contracts for generative single-cell models.
For scGen, the following contracts are relevant:
ShannonEntropy: formal verification that the KL divergence lower ...
Description: When a user attempts to sign in with a Google account for the first time on the Enatega Multivendor
Customer App, the application crashes unexpectedly.
Steps to Reproduce: Open the Enatega ...
waleedahmedhere
K-Lean offers machine-verified mathematical contracts for single-cell RNA quantification.
For kb-python, the following contracts are relevant:
GCContent: formal proof that GC content remains in [0,1] ...
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.