All pull requests

Pull requests

• Glimm-Jaffe Axioms

  medium
  #2093·annamei1 opened Nov 14, 2026·

  ·
  1

• StandardModel: Formalize 6V2K5, characterize Higgs potential boundedness and minima

  medium
  #2092·kastch opened Nov 14, 2026Contributor·

  ·
  1

• Hamiltonian systems

  mediumt-classical-mechanics
  #2091·Sudo-RR opened Nov 14, 2026Contributor·

  ·
  1

• feat(Physlib): derive the Poisson bracket as a time derivative

  smallt-classical-mechanics
  #2090·hkjtsgmc79-boop opened Nov 14, 2026Contributor·

  ·
  5

• feat(Physlib): relate circular orbit speed to angular rate

  smallt-classical-mechanics
  #2089·hkjtsgmc79-boop opened Nov 14, 2026Contributor·

  ·
  5

• feat(Tensors): Tensor, Species.pure and the group action Species.tensorRep

  awaiting-authorlarget-mathematics
  #2084·pariandrea opened Nov 13, 2026Contributor·

  ·
  11

• feat(Physlib): effective evolution under a fixed quantum projection

  mediumt-quantum-mechanics
  #2082·hkjtsgmc79-boop opened Nov 13, 2026Contributor·

  ·
  1

• Feat: DistributionCLM

  awaiting-authormedium
  #2081·Camkhlee opened Nov 13, 2026Contributor·

  ·
  7

• feat: relate circular speed to angular rate and prove central-force conservation

  mediumt-classical-mechanics
  #2079·hkjtsgmc79-boop opened Nov 13, 2026Contributor·

  ·
  2

• docs: Update API map skill

  medium
  #2078·jstoobysmith opened Nov 13, 2026Member·

  ·
  2

• feat(PhyslibAlpha): formalize the Hohmann transfer and its two-impulse optimality

  CIlarge
  #2077·hkjtsgmc79-boop opened Nov 13, 2026Contributor·

  ·
  1

• feat: Proofs in the Contribution Handbook

  small
  #2075·jstoobysmith opened Nov 13, 2026Member·

  ·
  1

• feat: Add references page to handbook

  small
  #2073·jstoobysmith opened Nov 13, 2026Member·

  ·
  1

• feat: Create Documentation Handbook

  small
  #2072·jstoobysmith opened Nov 13, 2026Member·

  ·
  1

• refactor(ProbabilisticTheory): unify observables, states and channels

  large
  #2070·TomOleDiem opened Nov 12, 2026Contributor·

  ·
  1

• feat(CondensedMatter): crystal symmetries and their decomposition

  mediumt-condensed-matter
  #2068·TomOleDiem opened Nov 11, 2026Contributor·

  ·
  5

• feat(ProbabilisticTheory): vector states of rays are pure

  CIlarge
  #2059·TomOleDiem opened Nov 10, 2026Contributor·

  ·
  1

• feat(ProbabilisticTheory): projections as sharp effects

  awaiting-authormedium
  #2058·TomOleDiem opened Nov 10, 2026Contributor·

  ·
  3

• feat(ProbabilisticTheory): bounded classical observables and Dirac states

  awaiting-authormedium
  #2057·TomOleDiem opened Nov 10, 2026Contributor·

  ·
  9

• feat(ProbabilisticTheory): uncertainty relation

  CImedium
  #2056·TomOleDiem opened Nov 10, 2026Contributor·

  ·
  1

• feat: Make physlibAlpha_worker

  CIlarge
  #2054·jstoobysmith opened Nov 10, 2026Member·

  ·
  3

• feat(PhyslibAlpha): add a definition expanding PhyslibAlpha

  mediumPhyslibAlpha
  #2052·jstoobysmith opened Nov 10, 2026Member·

  ·
  1

• docs: add a primitives-first plan for moving QuantumInfo into PhyslibAlpha

  awaiting-authorlarget-quantum-info
  #2048·fanza-cqs opened Nov 9, 2026Contributor·

  ·
  5

• feat: add semiclassical Weyl quantization and free Egorov

  awaiting-authorlarge
  #2036·lizr-phys opened Nov 8, 2026Contributor·

  ·
  4

• Rename API maps and tooling to Atlas

  medium
  #2015·nateabr opened Nov 2, 2026Collaborator·

  ·
  1