Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
3
11
dx2102
dx2102
Follow
johnnyblue711's profile picture
asigalov61's profile picture
frascuchon's profile picture
4 followers
ยท
0 following
https://github.com/dx2102/web
AI & ML interests
None yet
Recent Activity
updated
a model
about 1 month ago
dx2102/llama-midi
updated
a Space
2 months ago
dx2102/llama-midi
liked
a model
4 months ago
kernels-community/flash-attn2
View all activity
Organizations
None yet
dx2102
's Spaces
2
Sort:ย Recently updated
Running
on
Zero
Agents
10
Llama Midi
๐ฆ
Write musical scores with LLaMA
Running
2
Search Mathlib
๐ฅ
Search for theorems and definitions in Mathlib and Lean4.