🏗️ Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

updated a dataset about 13 hours ago

phanerozoic/qiskit-calibration-drift

updated a dataset about 18 hours ago

phanerozoic/jwst-extragalactic-uncal

published a dataset 2 days ago

phanerozoic/NASA-Exoplanet-Archive

View all activity

Organizations

phanerozoic 's datasets 133

phanerozoic/qiskit-calibration-drift

Viewer • Updated 31 minutes ago • 31.3M • 8.6k • 5

phanerozoic/jwst-extragalactic-uncal

Viewer • Updated about 17 hours ago • 50.2k • 482

phanerozoic/orbitlight

Updated 5 days ago • 1.16k • 1

phanerozoic/NASA-Exoplanet-Archive

Preview • Updated 5 days ago • 3

phanerozoic/HARPS

Viewer • Updated 5 days ago • 10k • 139

phanerozoic/VizieR

Viewer • Updated 5 days ago • 39.9M • 436

phanerozoic/petitRADTRANS-lbl

Preview • Updated 6 days ago • 4.02k

phanerozoic/Gaia-DR3

Viewer • Updated 6 days ago • 1.81B • 64

phanerozoic/Hipparcos

Viewer • Updated 6 days ago • 1.35M • 204

phanerozoic/Tycho-2

Viewer • Updated 6 days ago • 2.57M • 36

phanerozoic/INPOP21a

Preview • Updated 6 days ago • 27

phanerozoic/JPL-DE440-DE441

Updated 6 days ago • 44

phanerozoic/ICRF3

Viewer • Updated 6 days ago • 6.81k • 110

phanerozoic/SIMBAD

Viewer • Updated 6 days ago • 425M • 621

phanerozoic/breakthrough-listen-gbt-waterhole

Updated 7 days ago • 1.16k

phanerozoic/Dafny

Viewer • Updated Jun 15 • 23.3k • 57

phanerozoic/HOL4

Viewer • Updated Jun 15 • 73.1k • 25

phanerozoic/Agda-Cubical

Viewer • Updated Jun 15 • 9.81k • 25

phanerozoic/chauvet-exterior

Viewer • Updated Jun 11 • 5 • 164

phanerozoic/Coq-Changelog

Viewer • Updated Jun 10 • 1.21k • 130

phanerozoic/Lean4-Changelog

Viewer • Updated Jun 10 • 3.42k • 52

phanerozoic/Lean4-PhysLean

Viewer • Updated Jun 10 • 10.3k • 150

phanerozoic/Lean4-Stdlib

Viewer • Updated Jun 10 • 53k • 74

phanerozoic/Lean4-Mathlib

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

phanerozoic/Mizar

Viewer • Updated Jun 10 • 51.7k • 47

phanerozoic/Lean4-FormalConjectures

Viewer • Updated Jun 10 • 4.56k • 89

phanerozoic/Lean4-SciLean

Viewer • Updated Jun 10 • 4.97k • 17

phanerozoic/Lean4-EquationalTheories

Viewer • Updated Jun 10 • 16.1k • 60

phanerozoic/Lean4-FLT

Viewer • Updated Jun 10 • 1.75k • 40

phanerozoic/Twelf

Viewer • Updated Jun 9 • 21.2k • 5