🏗️ Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

updated a dataset about 19 hours ago

phanerozoic/qiskit-calibration-drift

new activity 1 day ago

bartowski/Kwaipilot_KAT-Coder-V2.5-Dev-GGUF:very good model

liked a model 1 day ago

bartowski/Kwaipilot_KAT-Coder-V2.5-Dev-GGUF

View all activity

Organizations

phanerozoic 's datasets 119

phanerozoic/Coq-Bedrock

Viewer • Updated Jun 9 • 5.65k • 36

phanerozoic/Coq-Analysis

Viewer • Updated Jun 9 • 10.4k • 35 • 1

phanerozoic/Coq-ALEA

Viewer • Updated Jun 9 • 1.58k • 26

phanerozoic/Coq-AACTactics

Viewer • Updated Jun 9 • 326 • 11

phanerozoic/Beluga

Viewer • Updated Jun 9 • 2.62k • 20

phanerozoic/Arend

Viewer • Updated Jun 9 • 2.69k • 15

phanerozoic/Alloy

Viewer • Updated Jun 9 • 1.13k • 10

phanerozoic/Agda-UniMath

Viewer • Updated Jun 9 • 11.6k • 16

phanerozoic/Agda-Prelude

Viewer • Updated Jun 9 • 1.65k • 43

phanerozoic/Abella

Viewer • Updated Jun 9 • 769 • 13

phanerozoic/noaa-ww3-multi1-points

Updated Jun 5 • 78

phanerozoic/ww3-ndbc-pairs

Viewer • Updated Jun 5 • 3.93M • 30

phanerozoic/constellaration-tracker-results

Preview • Updated Jun 2 • 25

phanerozoic/dna-origin-benchmark

Viewer • Updated May 27 • 25k • 29

phanerozoic/dna-origin-atlas

Viewer • Updated May 26 • 65.5k • 42

phanerozoic/persepolis

Viewer • Updated May 7 • 39k • 106

phanerozoic/Omnia

Viewer • Updated Apr 29 • 71k • 17

phanerozoic/omega-tensor

Viewer • Updated Apr 17 • 76.8k • 51

phanerozoic/jovian-lightning

Viewer • Updated Apr 15 • 13.1k • 97

phanerozoic/qiskit-zenodragging

Updated Mar 3 • 94

phanerozoic/qiskit-noise

Updated Jan 24 • 20

phanerozoic/qiskit-ftqc

Updated Jan 24 • 29

phanerozoic/Lean4-Changelog-QA

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

phanerozoic/Coq-Changelog-QA

Viewer • Updated Dec 26, 2024 • 822 • 27

phanerozoic/Coq-MetaCoq-QA

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

phanerozoic/Coq-HoTT-QA

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

phanerozoic/Coq-UniMath-QA

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

phanerozoic/PumpkinVision

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

phanerozoic/OldPirateLoraFinalV

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