🏗️ Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

new activity about 1 hour ago

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

updated a dataset about 24 hours ago

phanerozoic/qiskit-calibration-drift

liked a model 5 days ago

thinkingmachines/Inkling-Small

View all activity

Organizations

phanerozoic 's datasets 119

phanerozoic/Coq-Stdpp

Viewer • Updated Jun 9 • 5.65k • 31

phanerozoic/Coq-Stdlib

Viewer • Updated Jun 9 • 18.4k • 20

phanerozoic/Coq-QuickChick

Viewer • Updated Jun 9 • 2.75k • 16

phanerozoic/Coq-Prime

Viewer • Updated Jun 9 • 11.7k • 47

phanerozoic/Coq-Paco

Viewer • Updated Jun 9 • 2.11k • 24

phanerozoic/Coq-OddOrder

Viewer • Updated Jun 9 • 2.46k • 23

phanerozoic/Coq-Metalib

Viewer • Updated Jun 9 • 1.26k • 28

phanerozoic/Coq-MetaCoq

Viewer • Updated Jun 9 • 16.6k • 14

phanerozoic/Coq-MathComp

Viewer • Updated Jun 9 • 23.8k • 30

phanerozoic/Coq-Kruskal

Viewer • Updated Jun 9 • 167 • 12

phanerozoic/Coq-Jasmin

Viewer • Updated Jun 9 • 9.64k • 19

phanerozoic/Coq-Iris

Viewer • Updated Jun 9 • 9.83k • 31

phanerozoic/Coq-InteractionTrees

Viewer • Updated Jun 9 • 3.05k • 23

phanerozoic/Coq-Infotheo

Viewer • Updated Jun 9 • 4.95k • 32

phanerozoic/Coq-HoTT

Viewer • Updated Jun 9 • 12.7k • 36 • 3

phanerozoic/Coq-HierarchyBuilder

Viewer • Updated Jun 9 • 593 • 24

phanerozoic/Coq-Hammer

Viewer • Updated Jun 9 • 762 • 9

phanerozoic/Coq-FreeSpec

Viewer • Updated Jun 9 • 248 • 13

phanerozoic/Coq-FourColor

Viewer • Updated Jun 9 • 3.52k • 18

phanerozoic/Coq-Flocq

Viewer • Updated Jun 9 • 3.26k • 18

phanerozoic/Coq-Finmap

Viewer • Updated Jun 9 • 1.22k • 22

phanerozoic/Coq-ExtLib

Viewer • Updated Jun 9 • 1.02k • 19

phanerozoic/Coq-Equations

Viewer • Updated Jun 9 • 3.04k • 26

phanerozoic/Coq-Elpi

Viewer • Updated Jun 9 • 1.55k • 15

phanerozoic/Coq-Corn

Viewer • Updated Jun 9 • 11.3k • 23

phanerozoic/Coq-Coquelicot

Viewer • Updated Jun 9 • 2.42k • 20

phanerozoic/Coq-CompCert

Viewer • Updated Jun 9 • 11k • 43

phanerozoic/Coq-CoLoR

Viewer • Updated Jun 9 • 10k • 22

phanerozoic/Coq-Certicoq

Viewer • Updated Jun 9 • 7.15k • 16

phanerozoic/Coq-CategoryTheory

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