Pinned Loading

1. fairmath/polycircuit fairmath/polycircuit Public

   Polycircuit is an FHE components library built via FHERMA competitions

   C++ 15 1

2. cyprus-developer-community/events cyprus-developer-community/events Public

   Technology and Developer Events in Cyprus

   6 2

3. tarantool/doc tarantool/doc Public

   Tarantool documentation

   CSS 15 43

4. tarantool/cartridge tarantool/cartridge Public

   Out-of-the-box cluster manager for Tarantool with a modern web UI

   Lua 94 29

5. NilFoundation/mina-state-proof NilFoundation/mina-state-proof Public

   In-EVM Mina State Verification

   Solidity 82 9

6. NilFoundation/proof-market-toolchain NilFoundation/proof-market-toolchain Public

   A toolchain for interaction with the Proof Market protocol.

   C++ 23 5