🏗️ Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

updated a dataset 2 minutes ago

phanerozoic/qiskit-calibration-drift

updated a dataset about 4 hours ago

phanerozoic/orbitlight

updated a dataset about 24 hours ago

phanerozoic/VizieR

View all activity

Organizations

phanerozoic 's datasets 133

phanerozoic/qiskit-calibration-drift

Updated 2 minutes ago • 8.65k • 5

phanerozoic/orbitlight

Updated about 4 hours ago • 1.21k • 1

phanerozoic/VizieR

Viewer • Updated about 24 hours ago • 81.3M • 768

phanerozoic/jwst-extragalactic-uncal

Viewer • Updated 2 days ago • 50.2k • 486

phanerozoic/NASA-Exoplanet-Archive

Preview • Updated 6 days ago • 3

phanerozoic/HARPS

Viewer • Updated 6 days ago • 10k • 139

phanerozoic/petitRADTRANS-lbl

Preview • Updated 7 days ago • 4.08k

phanerozoic/Gaia-DR3

Viewer • Updated 7 days ago • 1.81B • 66

phanerozoic/Hipparcos

Viewer • Updated 7 days ago • 1.35M • 206

phanerozoic/Tycho-2

Viewer • Updated 7 days ago • 2.57M • 37

phanerozoic/INPOP21a

Preview • Updated 7 days ago • 28

phanerozoic/JPL-DE440-DE441

Updated 7 days ago • 49

phanerozoic/ICRF3

Viewer • Updated 7 days ago • 6.81k • 114

phanerozoic/SIMBAD

Viewer • Updated 7 days ago • 425M • 626

phanerozoic/breakthrough-listen-gbt-waterhole

Updated 9 days ago • 1.46k

phanerozoic/Dafny

Viewer • Updated Jun 15 • 23.3k • 59

phanerozoic/HOL4

Viewer • Updated Jun 15 • 73.1k • 27

phanerozoic/Agda-Cubical

Viewer • Updated Jun 15 • 9.81k • 25

phanerozoic/chauvet-exterior

Viewer • Updated Jun 11 • 5 • 178

phanerozoic/Coq-Changelog

Viewer • Updated Jun 10 • 1.21k • 131

phanerozoic/Lean4-Changelog

Viewer • Updated Jun 10 • 3.42k • 53

phanerozoic/Lean4-PhysLean

Viewer • Updated Jun 10 • 10.3k • 148

phanerozoic/Lean4-Stdlib

Viewer • Updated Jun 10 • 53k • 85

phanerozoic/Lean4-Mathlib

Viewer • Updated Jun 10 • 232k • 211 • 3

phanerozoic/Mizar

Viewer • Updated Jun 10 • 51.7k • 46

phanerozoic/Lean4-FormalConjectures

Viewer • Updated Jun 10 • 4.56k • 87

phanerozoic/Lean4-SciLean

Viewer • Updated Jun 10 • 4.97k • 16

phanerozoic/Lean4-EquationalTheories

Viewer • Updated Jun 10 • 16.1k • 60

phanerozoic/Lean4-FLT

Viewer • Updated Jun 10 • 1.75k • 36

phanerozoic/Twelf

Viewer • Updated Jun 9 • 21.2k • 5