Huggingface I would consider a high level framework, that uses pytorch as a backend (they may now be using rust/candle as well?)
Mojo is another ML specific python dialect.
I think most people including me associate Keras with being very simple and high level, which isn't really correct now based on the article.
ggml is somewhat specialized, I was giving it as an example of the kind of framework I think we'll see more of, that is specialized, dependency free, written in a compiled language and directly optimized for speed. As use cases consolidate around specific architecture like LLMs, a faster and simpler low lever framework becomes preferable to a swiss army knife with abstraction upon abstraction like pytorch.