Skip to content

issues Search Results · language:Dune language:JavaScript language:Java language:Java language:Go

Filter by

38.7M results  (933 ms)

38.7M results

ebi-uniprot/uniprot-rest-api
K-Lean: machine-verified contracts for protein database query integrity

Hi, We ve been working on K-Lean (https://github.com/Heime-Jorgen/kenosian-lean4) — a Lean 4 library providing machine-verified mathematical contracts for computational biology. Given UniProt s work ...
  • Heime-Jorgen
  • Opened 
    10 seconds ago
  • #621

ebi-pf-team/interproscan
K-Lean: machine-verified contracts for protein domain annotation

Hi, We ve been working on K-Lean (https://github.com/Heime-Jorgen/kenosian-lean4) — a Lean 4 library providing machine-verified mathematical contracts for computational biology. Given InterProScan s ...
  • Heime-Jorgen
  • Opened 
    20 seconds ago
  • #439

my-talking-shaha/my-talking-shaha
Frontend: add assets

documentation
  • Ars5njo
  • Opened 
    27 seconds ago
  • #12

sjoerd2025/gh-aw
[aw] Package Specification Extractor failed

Workflow Failure Workflow: Package Specification Extractor Branch: main Run: https://github.com/sjoerd2025/gh-aw/actions/runs/27557048440 Pull Request: #2 💡 This repository is a fork. If this failure ...
agentic-workflows
  • github-actions[bot]
  • Opened 
    32 seconds ago
  • #68

RapierCraftStudios/ForgeDock
docs(architecture): clarify adaptive script execution costs in token savings table

Problem In devdocs/project/architecture.md (added in PR #741, issue #673), the Test location + label discovery row shows ~0 tokens in the adaptive scripts column with the note handled by scripts above ...
documentation
  • rapiercraft-forge[bot]
  • Opened 
    32 seconds ago
  • #742

PathwayCommons/factoid
K-Lean: machine-verified contracts for biological interaction curation

Hi, We ve been working on K-Lean (https://github.com/Heime-Jorgen/kenosian-lean4) — a Lean 4 library providing machine-verified mathematical contracts for computational biology. Given Factoid s work ...
  • Heime-Jorgen
  • Opened 
    35 seconds ago
  • #1329

reactome/graph-core
K-Lean: machine-verified contracts for biological pathway graph integrity

Hi, We ve been working on K-Lean (https://github.com/Heime-Jorgen/kenosian-lean4) — a Lean 4 library providing machine-verified mathematical contracts for computational biology. Given Reactome s work ...
  • Heime-Jorgen
  • Opened 
    39 seconds ago
  • #23

MiaoA88/BJFUautopj
推广

可以试试我这个项目https://github.com/liyinyang0/BJFU-JWC-Enhance 别人的改过来的。
  • liyinyang0
  • Opened 
    43 seconds ago
  • #1

smallmoss233/DOCTOR-M
jewelry:ventilator MAX

名称：ventilator MAX/终极呼吸机 效果：玩家受到致命伤害时自动触发，触发后能够使玩家无敌并抗击退，三分钟后玩家受到必死效果（无视除了另一个呼吸机以外的免死效果），呼吸机在免死效果触发时会持续消耗电量，最多持续三分钟，电量耗尽后物品也会消失，可以提前手持物品右键结束效果，效果结束后也会受到必死效果，未用完的呼吸机可以充电 槽位：头饰，装备后自动隐藏，且增加一个头饰栏位
  • Tsinafs-Bcim
  • Opened 
    46 seconds ago
  • #9

jhuapl-bio/taxtriage
Embeddings For Novel Detections and Clustering

Description of feature - Develop a tab and module workflow that can encode De Novo Contigs into embeddings following gene prediction (prodigal). Useful for finding contigs that do not cluster closely ...
enhancement
  • Merritt-Brian
  • Opened 
    1 minute ago
  • #227
Issue origami icon

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.
Issue origami icon

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.