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