Charles Norton's picture

Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

updated a dataset 32 minutes ago

phanerozoic/hi-21cm-survey

updated a dataset 1 day ago

phanerozoic/qiskit-calibration-drift

updated a dataset 3 days ago

phanerozoic/chauvet-exterior

View all activity

Organizations

phanerozoic 's datasets 120

phanerozoic/Coq-CategoryTheory

Viewer • Updated 4 days ago • 2.73k • 117 • 1

phanerozoic/Coq-Bedrock

Viewer • Updated 4 days ago • 5.65k • 100

phanerozoic/Coq-Analysis

Viewer • Updated 4 days ago • 10.4k • 147 • 1

phanerozoic/Coq-ALEA

Viewer • Updated 4 days ago • 1.58k • 72

phanerozoic/Coq-AACTactics

Viewer • Updated 4 days ago • 326 • 66

phanerozoic/Beluga

Viewer • Updated 4 days ago • 2.62k • 56

phanerozoic/Arend

Viewer • Updated 4 days ago • 2.69k • 59

phanerozoic/Alloy

Viewer • Updated 4 days ago • 1.13k • 58

phanerozoic/Agda-UniMath

Viewer • Updated 4 days ago • 11.6k • 74

phanerozoic/Agda-Prelude

Viewer • Updated 4 days ago • 1.65k • 62

phanerozoic/Abella

Viewer • Updated 4 days ago • 769 • 58

phanerozoic/noaa-ww3-multi1-points

Updated 8 days ago • 839

phanerozoic/ww3-ndbc-pairs

Viewer • Updated 8 days ago • 3.93M • 36

phanerozoic/constellaration-tracker-results

Preview • Updated 11 days ago • 642

phanerozoic/dna-origin-benchmark

Viewer • Updated 18 days ago • 25k • 73

phanerozoic/dna-origin-atlas

Viewer • Updated 18 days ago • 65.5k • 81

phanerozoic/persepolis

Viewer • Updated May 7 • 39k • 3.02k

phanerozoic/Omnia

Viewer • Updated Apr 29 • 71k • 32

phanerozoic/omega-tensor

Viewer • Updated Apr 17 • 76.8k • 30

phanerozoic/jovian-lightning

Viewer • Updated Apr 15 • 13.1k • 91

phanerozoic/qiskit-zenodragging

Updated Mar 3 • 33

phanerozoic/qiskit-noise

Updated Jan 24 • 15

phanerozoic/qiskit-ftqc

Updated Jan 24 • 13

phanerozoic/Lean4-Changelog-QA

Viewer • Updated Jan 12, 2025 • 2k • 38 • 1

phanerozoic/Coq-Changelog-QA

Viewer • Updated Dec 26, 2024 • 822 • 37

phanerozoic/Coq-MetaCoq-QA

Viewer • Updated Dec 13, 2024 • 10.5k • 53

phanerozoic/Coq-HoTT-QA

Viewer • Updated Dec 10, 2024 • 7.83k • 56

phanerozoic/Coq-UniMath-QA

Viewer • Updated Dec 10, 2024 • 38.6k • 55 • 1

phanerozoic/PumpkinVision

Viewer • Updated Sep 13, 2024 • 1.91k • 38

phanerozoic/OldPirateLoraFinalV

Viewer • Updated Apr 29, 2024 • 2.22k • 8