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

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:Issues55M (55M)

55M results  (867 ms)

55M results

Sort by: Best match

Filter

adaptyvbio/ProteinFlow

[K-Lean] Lean 4 sorry-free contracts for protein data pipelines — RMSD, SequenceIdentity, ContactProbability

Hi ProteinFlow team, K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology, proved in Lean 4 — no sorry, no axiom shortcuts. For protein structure and ...

• Heime-Jorgen
·
• 1
·
• Opened 
  43 minutes ago
·
• #144

jpayne6394/james-river-dashboard

PRODUCT: Lock MVP page architecture and workflow model before UI redesign

Related: #102, #114, #115, #117, #130 Goal Lock the MVP information architecture and workflow before the next UI strategy pass so frontend work has a stable target. Locked MVP Pages - Opportunity ...

• jpayne6394
·
• Opened 
  43 minutes ago
·
• #133

isayevlab/aimnetcentral

[K-Lean] Lean 4 sorry-free contracts for ML interatomic potentials — energy, diffusion, thermodynamics

Hi AIMNet team, K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology, proved in Lean 4 — no sorry, no axiom shortcuts. For machine learning interatomic ...

• Heime-Jorgen
·
• 1
·
• Opened 
  43 minutes ago
·
• #83

veri-md/veri-build

No lemma / proof statements

Summary The DSL can express single function postconditions (ENSURES), but it cannot express or prove relational properties. Why it matters Correctness in Intermesh requires non-negation/monotonicty ...

limitation

• KerneyJ
·
• Opened 
  43 minutes ago
·
• #14

yvos77/tecweb_yuri

#10 Enviar cadastro à API (POST)

• yvos77
·
• Opened 
  43 minutes ago
·
• #18

MDAnalysis/mdanalysis

[K-Lean] Lean 4 sorry-free contracts for molecular dynamics — RMSD, diffusion, thermodynamics

Hi MDAnalysis team, K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology, proved in Lean 4 — no sorry, no axiom shortcuts. For molecular dynamics analysis, ...

• Heime-Jorgen
·
• 1
·
• Opened 
  43 minutes ago
·
• #5399

monoplay-xyz/holdout

Feature: Community Map Database (publish + browse + play user maps)

Goal A community map database so players can publish maps they build and browse + play other people s maps — UGC for HOLDOUT. Pairs with the Map Builder (#5, Publish button) and the Map Generator (#6). ...

• NayiemW
·
• Opened 
  43 minutes ago
·
• #7

learningequality/kolibri

Materialize an individual ZIM page as a self-contained, syncable ContentNode

!---HEADER START-- img height= 20px src= https://i.imgur.com/c7hUeb5.jpeg ❌ **This issue is not open for contribution. Visit a href= https://learningequality.org/contributing-to-our-open-code-base/ target= ...

DEV: backend

DEV: content

• rtibbles
·
• Opened 
  43 minutes ago
·
• #14863

BioinfoMachineLearning/MULTICOM4

[K-Lean] Lean 4 sorry-free contracts for protein structure prediction — ProteinRMSD, TM-score, SequenceIdentity

Hi MULTICOM4 team, K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology, proved in Lean 4 — no sorry, no axiom shortcuts. For protein structure prediction ...

• Heime-Jorgen
·
• 1
·
• Opened 
  43 minutes ago
·
• #2

Genentech/equifold

[K-Lean] Lean 4 sorry-free contracts for protein structure — ProteinRMSD, TM-score, BoltzmannDistribution

Hi equifold team, K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology, proved in Lean 4 — no sorry, no axiom shortcuts. For equivariant protein structure ...

• Heime-Jorgen
·
• 1
·
• Opened 
  43 minutes ago
·
• #14

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.