Charles Norton's picture

Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

Machina vincit omnia

Recent Activity

updated a dataset about 14 hours ago

phanerozoic/qiskit-calibration-drift

updated a dataset about 14 hours ago

phanerozoic/hi-21cm-survey

published a dataset 1 day ago

phanerozoic/hi-21cm-survey

View all activity

Organizations

phanerozoic 's datasets 91

phanerozoic/qiskit-calibration-drift

Viewer • Updated 7 minutes ago • 438k • 2.13k

phanerozoic/hi-21cm-survey

Viewer • Updated 12 minutes ago • 86.6k • 134

phanerozoic/qiskit-zenodragging

Updated 17 days ago • 70

phanerozoic/qiskit-noise

Updated 20 days ago • 17

phanerozoic/qiskit-ftqc

Updated 20 days ago • 27

phanerozoic/Why3

Viewer • Updated about 1 month ago • 3.16k • 9

phanerozoic/ACL2

Viewer • Updated about 1 month ago • 231k • 13

phanerozoic/Dafny

Viewer • Updated about 1 month ago • 9.57k • 8

phanerozoic/F-Star

Viewer • Updated about 1 month ago • 13k • 9

phanerozoic/Isabelle-Stdlib

Viewer • Updated about 1 month ago • 78k • 8

phanerozoic/Isabelle-seL4

Viewer • Updated about 1 month ago • 74.1k • 13

phanerozoic/Agda-TypeTopology

Viewer • Updated about 1 month ago • 7.78k • 6

phanerozoic/Agda-Prelude

Viewer • Updated about 1 month ago • 735 • 8

phanerozoic/Agda-HoTT

Viewer • Updated about 1 month ago • 604 • 10

phanerozoic/Agda-1Lab

Viewer • Updated about 1 month ago • 2.11k • 7

phanerozoic/Agda-UniMath

Viewer • Updated about 1 month ago • 4.49k • 7

phanerozoic/Agda-Categories

Viewer • Updated about 1 month ago • 730 • 7

phanerozoic/Agda-Cubical

Viewer • Updated about 1 month ago • 3.03k • 10

phanerozoic/Agda-Stdlib

Viewer • Updated about 1 month ago • 7.07k • 9

phanerozoic/Lean4-Duper

Viewer • Updated about 1 month ago • 1.56k • 8

phanerozoic/Lean4-LeanSAT

Viewer • Updated about 1 month ago • 1.75k • 7

phanerozoic/Coq-Velus

Viewer • Updated about 1 month ago • 9.8k • 14

phanerozoic/Coq-Metalib

Viewer • Updated about 1 month ago • 1.75k • 10

phanerozoic/Coq-Paco

Viewer • Updated about 1 month ago • 2.18k • 9

phanerozoic/Coq-Hammer

Viewer • Updated about 1 month ago • 866 • 10

phanerozoic/Coq-Kruskal

Viewer • Updated about 1 month ago • 102 • 8

phanerozoic/Coq-Prime

Viewer • Updated about 1 month ago • 11.7k • 10

phanerozoic/Coq-FreeSpec

Viewer • Updated about 1 month ago • 279 • 9

phanerozoic/Coq-WasmCert

Viewer • Updated about 1 month ago • 2.45k • 8

phanerozoic/Coq-Jasmin

Viewer • Updated about 1 month ago • 9.73k • 11