Noname (https://github.com/mimoo/noname) is a programming language to build zkapps on top of kimchi (https://minaprotocol.com/blog/kimchi-.... It is work in progress, not meant for production, but can be used to learn about circuits in kimchi.
I've recorded a video that showcase it, and walks through the circuit output by compiling one of the example. It might not make too much sense if you don't know about kimchi or plonk. And so you might want to watch my series of videos on plonk (https://cryptologie.net/article/529/h...) beforehands.