kimchi

The proof systems used by Mina

Noname: a programming language to write zkapps

Web published translation of Grothendieck's essay on kimchi

Kimchi app for ClearOS

Kimchi KVM/Qemu Manager - RPM for ClearOS

A fast-paced game with kimchi and hot dogs! Thanks to my son, Oscar, for inspiration.