🏗️ Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

updated a dataset about 10 hours ago

phanerozoic/qiskit-calibration-drift

updated a collection 2 days ago

Mirage and Oasis

updated a collection 2 days ago

Mirage and Oasis

View all activity

Organizations

phanerozoic 's datasets 133

phanerozoic/Coq-Hammer

Viewer • Updated Jun 9 • 762 • 17

phanerozoic/Coq-FreeSpec

Viewer • Updated Jun 9 • 248 • 11

phanerozoic/Coq-FourColor

Viewer • Updated Jun 9 • 3.52k • 22

phanerozoic/Coq-Flocq

Viewer • Updated Jun 9 • 3.26k • 14

phanerozoic/Coq-Finmap

Viewer • Updated Jun 9 • 1.22k • 7

phanerozoic/Coq-ExtLib

Viewer • Updated Jun 9 • 1.02k • 24

phanerozoic/Coq-Equations

Viewer • Updated Jun 9 • 3.04k • 43

phanerozoic/Coq-Elpi

Viewer • Updated Jun 9 • 1.55k • 38

phanerozoic/Coq-Corn

Viewer • Updated Jun 9 • 11.3k • 11

phanerozoic/Coq-Coquelicot

Viewer • Updated Jun 9 • 2.42k • 13

phanerozoic/Coq-CompCert

Viewer • Updated Jun 9 • 11k • 28

phanerozoic/Coq-CoLoR

Viewer • Updated Jun 9 • 10k • 22

phanerozoic/Coq-Certicoq

Viewer • Updated Jun 9 • 7.15k • 22

phanerozoic/Coq-CategoryTheory

Viewer • Updated Jun 9 • 2.73k • 29 • 1

phanerozoic/Coq-Bedrock

Viewer • Updated Jun 9 • 5.65k • 49

phanerozoic/Coq-Analysis

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

phanerozoic/Coq-ALEA

Viewer • Updated Jun 9 • 1.58k • 41

phanerozoic/Coq-AACTactics

Viewer • Updated Jun 9 • 326 • 21

phanerozoic/Beluga

Viewer • Updated Jun 9 • 2.62k • 14

phanerozoic/Arend

Viewer • Updated Jun 9 • 2.69k • 20

phanerozoic/Alloy

Viewer • Updated Jun 9 • 1.13k • 11

phanerozoic/Agda-UniMath

Viewer • Updated Jun 9 • 11.6k • 41

phanerozoic/Agda-Prelude

Viewer • Updated Jun 9 • 1.65k • 28

phanerozoic/Abella

Viewer • Updated Jun 9 • 769 • 18

phanerozoic/noaa-ww3-multi1-points

Updated Jun 5 • 367

phanerozoic/ww3-ndbc-pairs

Viewer • Updated Jun 5 • 3.93M • 115

phanerozoic/constellaration-tracker-results

Preview • Updated Jun 2 • 86

phanerozoic/dna-origin-benchmark

Viewer • Updated May 27 • 25k • 30

phanerozoic/dna-origin-atlas

Viewer • Updated May 26 • 65.5k • 12

phanerozoic/persepolis

Viewer • Updated May 7 • 39k • 282