issues Search Results · language:Dune language:JavaScript language:JavaScript language:JavaScript language:Python
Filter by
40.8M results
Task
L11 — Mapa kafelkowa: przełączenie przycisku mapy w lochu pokazuje graf kafelkowy (odwiedzone obrazki + zarysy za
drzwiami + marker pozycji).
Część FAZY L — Lochy kafelkowe (redesign). Blok 4 — ...
enhancement
needs-testing
review
szmidtpiotr
K-Lean offers machine-verified mathematical contracts for hypernetwork-based drug-target interaction.
For Hyper-DTI, the following contracts are relevant:
MichaelisMenten: formal proof that the kinetic ...
Heime-Jorgen
K-Lean offers machine-verified mathematical contracts for drug-target affinity prediction.
For PADME, the following contracts are relevant:
IC50Relationship: formal verification that predicted IC50 and ...
ANGELIE-TECH-rgb
K-Lean offers machine-verified mathematical contracts for network-based drug-target interaction.
For NeoDTI, the following contracts are relevant:
MichaelisMenten: formal proof that enzyme-substrate ...
K-Lean offers machine-verified mathematical contracts for deep learning drug-target interaction.
For DeepConv-DTI, the following contracts are relevant:
MichaelisMenten: formal verification that enzyme ...
K-Lean offers machine-verified mathematical contracts for drug-target interaction prediction.
For ConPLex, the following contracts are relevant:
MichaelisMenten: formal proof that predicted binding rates ...
Bug Description i want to see only my sessiosn within a wortree
Environment Info
- Platform: darwin
- Terminal: xterm-256color
- Version: 2.1.178
- Feedback ID: 896194a7-ca0c-4586-b5ca-e7c173a3bcbf ...
area:core
enhancement
platform:macos
GitHamza0206
Symptom
Multi-project foreman deployments are silently broken. Bootstrap creates one `PyGithubGitProvider` per project but only
the FIRST is wired into the `Daemon` and `LabelObservabilityObserver`. Every ...
wrenrichley
K-Lean offers machine-verified mathematical contracts for genome de-replication in metagenomics.
For dRep, the following contracts are relevant:
SequenceIdentity: formal proof that MASH distance and ...
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.