kimchi

There are 0 repository under kimchi topic.

• o1-labs / proof-systems

  The proof systems used by Mina

  plonkzero-knowledge-proofskimchizksnarksbulletproofsrecursive-zkps
  Language:Rust 377

• zksecurity / noname

  Noname: a programming language to write zkapps

  circuitkimchizero-knowledgezkapps
  Language:Rust 90
• grothendieck-kimchi

  mikepierce / grothendieck-kimchi

  Web published translation of Grothendieck's essay on kimchi

  frenchtranslationenglish-translationkimchigrothendiecktufte-csstufte
  Language:HTML 8

• WikiSuite / app-kimchi

  Kimchi app for ClearOS

  clearoskimchikvm
  Language:PHP 6

• WikiSuite / kimchi

  Kimchi KVM/Qemu Manager - RPM for ClearOS

  clearoskimchirpm
  3

• ben-harvey / Bluesky

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

  pygamepythongamekimchi
  Language:Python 1

• mrlesmithjr / ansible-wok

  wokkimchiansible