Charles Norton's picture

Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

updated a model about 4 hours ago

phanerozoic/cofiber-detection

updated a model about 4 hours ago

phanerozoic/detection-heads

updated a model about 13 hours ago

phanerozoic/argus

View all activity

Organizations

phanerozoic 's datasets 93

phanerozoic/hi-21cm-survey

Viewer • Updated 22 minutes ago • 4.68M • 1.55k • 2

phanerozoic/qiskit-calibration-drift

Viewer • Updated 31 minutes ago • 595k • 3.45k • 1

phanerozoic/omega-tensor

Viewer • Updated 4 days ago • 76.8k • 54

phanerozoic/jovian-lightning

Viewer • Updated 6 days ago • 13.1k • 89

phanerozoic/qiskit-zenodragging

Updated Mar 3 • 286

phanerozoic/qiskit-noise

Updated Jan 24 • 12

phanerozoic/qiskit-ftqc

Updated Jan 24 • 25

phanerozoic/Why3

Viewer • Updated Jan 13 • 3.16k • 13

phanerozoic/ACL2

Viewer • Updated Jan 13 • 231k • 8

phanerozoic/Dafny

Viewer • Updated Jan 13 • 9.57k • 17

phanerozoic/F-Star

Viewer • Updated Jan 13 • 13k • 7

phanerozoic/Isabelle-Stdlib

Viewer • Updated Jan 13 • 78k • 23

phanerozoic/Isabelle-seL4

Viewer • Updated Jan 13 • 74.1k • 7

phanerozoic/Agda-TypeTopology

Viewer • Updated Jan 13 • 7.78k • 7

phanerozoic/Agda-Prelude

Viewer • Updated Jan 13 • 735 • 6

phanerozoic/Agda-HoTT

Viewer • Updated Jan 13 • 604 • 8

phanerozoic/Agda-1Lab

Viewer • Updated Jan 13 • 2.11k • 16

phanerozoic/Agda-UniMath

Viewer • Updated Jan 13 • 4.49k • 15

phanerozoic/Agda-Categories

Viewer • Updated Jan 13 • 730 • 8

phanerozoic/Agda-Cubical

Viewer • Updated Jan 13 • 3.03k • 8

phanerozoic/Agda-Stdlib

Viewer • Updated Jan 13 • 7.07k • 15

phanerozoic/Lean4-Duper

Viewer • Updated Jan 13 • 1.56k • 12

phanerozoic/Lean4-LeanSAT

Viewer • Updated Jan 13 • 1.75k • 11

phanerozoic/Coq-Velus

Viewer • Updated Jan 13 • 9.8k • 9

phanerozoic/Coq-Metalib

Viewer • Updated Jan 13 • 1.75k • 8

phanerozoic/Coq-Paco

Viewer • Updated Jan 13 • 2.18k • 11

phanerozoic/Coq-Hammer

Viewer • Updated Jan 13 • 866 • 4

phanerozoic/Coq-Kruskal

Viewer • Updated Jan 13 • 102 • 4

phanerozoic/Coq-Prime

Viewer • Updated Jan 13 • 11.7k • 7

phanerozoic/Coq-FreeSpec

Viewer • Updated Jan 13 • 279 • 19