Write musical scores with LLaMA
Generate music from text descriptions
Convert text to speech with customizable models and speakers
Calculate memory usage for training models
Search for theorems and definitions in Mathlib and Lean4.
Enlargen your images effortlessly