Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Edit Datasets filters
Main
Tasks
Libraries
Languages
Licenses
Other
1
Reset Other
pm25
Synthetic
art
medical
code
biology
finance
legal
chemistry
agent
music
climate
Apply filters
Datasets
3
Full-text search
Edit filters
Sort: Trending
Active filters:
concurrent-programming
Clear all
phanerozoic/Coq-Iris
Viewer
•
Updated
Jun 9
•
9.83k
•
24
ReactorJet/Coq-Iris
Viewer
•
Updated
Apr 6
•
10.2k
•
15
an-sub-acc-2026/weave-bench
Preview
•
Updated
14 days ago
•
771
