All pull requests

Pull requests

• doc(Relativity): Correct documentation for realLorentzTensor

  smallt-relativity
  #1712·ereinhardt8 opened Oct 2, 2026Contributor·

  ·
  1

• feat(PhyslibAlpha): Mandelstam–Tamm and Cramér–Rao in the open tight binding chain

  blocked-by-PRmediumPhyslibAlpha
  #1711·naype888-cloud opened Oct 1, 2026Contributor·

  ·
  1

• feat: Reorganise the Mathematics directory

  large
  #1710·jstoobysmith opened Oct 1, 2026Member·

  ·
  4

  

• refactor(PhyslibAlpha): state the open chain uncertainty on its own Hilbert space

  PhyslibAlphasmall
  #1709·naype888-cloud opened Oct 1, 2026Contributor·

  ·
  1

• feat: Add module_doc_lint to CI

  awaiting-authorlarge
  #1707·jstoobysmith opened Oct 1, 2026Member·

  ·
  2

  

• feat(PhyslibAlpha/EM): Kirchhoff Current Law

  largePhyslibAlphaready-to-merget-electromagnetism
  #1706·jstoobysmith opened Oct 1, 2026Member·

  ·
  3

• fix: switch from ∧ to && in ZModCharges

  smallt-particles
  #1704·wdconinc opened Sep 30, 2026Contributor·

  ·
  2

• feat(SpaceTime): the spacetime algebra and its Taylor series

  mediumt-space-and-time
  #1702·nateabr opened Sep 30, 2026Collaborator·

  ·
  5

• feat: PhyslibAlpha/QuantumMechanics: operators on one coordinate of a product of finite targets

  mediumPhyslibAlpha
  #1699·naype888-cloud opened Sep 29, 2026Contributor·

  ·
  1

• feat(ClassicalMechanics): add the Poisson bracket

  awaiting-authormedium
  #1698·Sudo-RR opened Sep 29, 2026Contributor·

  ·
  5

• feat: add angular momentum squared and ladder operators

  awaiting-authorlarget-quantum-mechanics
  #1679·lizr-phys opened Sep 23, 2026Contributor·

  ·
  12

• feat(ProbabilisticTheory): state separation

  blocked-by-PRlarge
  #1672·TomOleDiem opened Sep 20, 2026Contributor·

  ·
  1

• feat(ProbabilisticTheory): states

  blocked-by-PRlarge
  #1671·TomOleDiem opened Sep 20, 2026Contributor·

  ·
  1

• feat(ProbabilisticTheory): channels and weights

  largemerge-conflict
  #1670·TomOleDiem opened Sep 20, 2026Contributor·

  ·
  1

• feat(Cosmology): conformal time, conformal Hubble factor and the Friedmann equations in conformal time

  blocked-by-PRlarget-cosmology
  #1641·KevorkianPhilippe opened Sep 10, 2026Contributor·

  ·
  1

• feat(Cosmology): lookback time, luminosity and angular-diameter distances, Etherington, low-redshift coefficients

  blocked-by-PRlarget-cosmology
  #1640·KevorkianPhilippe opened Sep 10, 2026Contributor·

  ·
  1

• feat(Cosmology): comoving distance, redshift, Hubble-Lemaitre law, transverse distance and horizons

  blocked-by-PRlarget-cosmology
  #1639·KevorkianPhilippe opened Sep 10, 2026Contributor·

  ·
  1

• feat(Cosmology): energy conditions, acceleration criterion, deceleration parameter, eternal expansion and Big-Bang bound

  blocked-by-PRlarget-cosmology
  #1638·KevorkianPhilippe opened Sep 10, 2026Contributor·

  ·
  1

• feat(Cosmology): density parameters, closure relation, reduced Hubble function and age

  blocked-by-PRmediumt-cosmology
  #1637·KevorkianPhilippe opened Sep 10, 2026Contributor·

  ·
  1

• feat(Cosmology): barotropic equation of state, density scaling laws, cosmological constant as a fluid

  mediumt-cosmology
  #1636·KevorkianPhilippe opened Sep 10, 2026Contributor·

  ·
  2

• refactor(OperatorAlgebra): Implement states in more Mathlib-aligned style (RFC)

  larget-quantum-mechanics
  #1602·goliath-klein opened Sep 1, 2026·

  ·
  3

• QuantumInfo: StdBasis refactor

  awaiting-authorlarge
  #1578·Timeroot opened Aug 24, 2026Collaborator·

  ·
  9

• auto-task(OperatorAlgebra): add API-map.yaml for the observable-algebra API

  awaiting-authorsmall
  #1555·Alex-Zughaid opened Aug 20, 2026Contributor·

  ·
  2

• feat(PhyslibAlpha): Add results of 2606.13889 to PhyslibAlpha as informal lemmas

  awaiting-authorPhyslibAlpha
  #1461·jstoobysmith opened Jul 24, 2026Member·

  ·
  8

• feat: Added PR template

  awaiting-author
  #1458·Alex-Zughaid opened Jul 22, 2026Contributor·1 of 3 tasks·

  ·
  1

  2