issues Search Results · language:Dune language:HTML language:JavaScript language:Python language:JavaScript

Filter by

• • Code... (...)results
  • Repositories
    results
  • Issues
    results
  • Pull requests
    results
  • Discussions
    results
  • Users
    results
  • More

• State

  • Open
  • Closed

• Advanced

  • Owner
  • State
  • Close reason
  • Has linked pull request
  • Author
  • Assignee
  • Mentioned user
  • Mentioned team
  • Commenter
  • Involved user
  • Label
  • Milestone
  • Number of comments
  • Number of interactions
• Advanced search

Filter:Issues47.3M (47.3M)

47.3M results  (732 ms)

47.3M results

Sort by: Best match

Filter

KeunwooPark/aiintown

Elevate the botanic theme: web fonts + organic accents

Scope — feat Goal — Replace the all-system-font typography with a distinctive display-serif/humanist-sans pairing and add subtle organic decoration (gradient hero, botanical accents, refined card hover) ...

• flumecode[bot]
·
• Opened 
  46 minutes ago
·
• #22

waydroid/waydroid

[BUG] clipboard sync issues for items copied inside/outside waydoid

Describe the bug I use google messages in Waydroid on cachyos (kde plasma desktop), which is a way better to use the app than navigating progressive web apps on wayland. the problem is that the clipboard ...

• sambeilttog
·
• Opened 
  46 minutes ago
·
• #2341

Lzcstan/DrugLAMP

K-Lean: machine-verified DTI contracts for DrugLAMP

K-Lean offers machine-verified mathematical contracts for large-scale drug-target interaction prediction. For DrugLAMP, the following contracts are relevant: MichaelisMenten: formal proof that predicted ...

• Heime-Jorgen
·
• Opened 
  46 minutes ago
·
• #3

YeoLab/bento-tools

K-Lean: machine-verified subcellular spatial contracts for Bento

K-Lean offers machine-verified mathematical contracts for subcellular spatial transcriptomics. For Bento, the following contracts are relevant: ShannonEntropy: formal proof that RNA localization pattern ...

• Heime-Jorgen
·
• Opened 
  46 minutes ago
·
• #194

boostcampwm-snu-2026-1/no-title-yeonu-kim-server

스마트컨트랙트와 연결

• Yeonu-Kim
·
• Opened 
  46 minutes ago
·
• #23

Anning01/AiMaster

账号密码是啥，想体验一下

• jadestone-web3
·
• Opened 
  46 minutes ago
·
• #3

pazspera/viernes-web

Feature: Componente HeroHome

• pazspera
·
• Opened 
  46 minutes ago
·
• #69

NVIDIA/VariantWorks

K-Lean: machine-verified variant calling contracts for NVIDIA VariantWorks

K-Lean offers machine-verified mathematical contracts for GPU-accelerated variant calling. For VariantWorks, the following contracts are relevant: CigarInvariant: formal proof that GPU-parallelized CIGAR ...

• Heime-Jorgen
·
• Opened 
  46 minutes ago
·
• #173

franciscozorrilla/metaGEM

K-Lean: machine-verified metagenomics contracts for metaGEM

K-Lean offers machine-verified mathematical contracts for genome-scale metabolic modeling from metagenomes. For metaGEM, the following contracts are relevant: GCContent: formal verification that genome ...

• Heime-Jorgen
·
• Opened 
  47 minutes ago
·
• #181

agilasoft/autods

Remove the " purchase price " and " Current Cost " fields.

img width= 1225 height= 784 alt= Image src= https://github.com/user-attachments/assets/ca0e8ee3-0ec0-4608-becb-d7035bf389be /

• Itsmechaddyy
·
• Opened 
  47 minutes ago
·
• #58

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 Issues

ProTip! 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 Issues

ProTip! Restrict your search to the title by using the in:title qualifier.