alexandra-mara

@NilFoundationPaphos, Cyprus

Pinned Repositories

docs
Lido docs repo
Language:JavaScript0 0 00
evm-placeholder-verification
Placeholder proof system verifier for EVM
Language:Solidity0 0 00
openfhe-python
Official Python wrapper for OpenFHE. Current release is v0.8.6 (released on March 12, 2024).
Language:C++0 0 00
events
Technology and Developer Events in Cyprus
6 16 772
polycircuit
Polycircuit is an FHE components library built via FHERMA competitions
Language:C++16 3 31
evm-placeholder-verification
Placeholder proof system verifier for EVM
Language:Solidity11 12 5610
mina-state-proof
In-EVM Mina State Verification
Language:Solidity82 22 719
proof-market-toolchain
A toolchain for interaction with the Proof Market protocol.
Language:C++23 16 645
cartridge
Out-of-the-box cluster manager for Tarantool with a modern web UI
Language:Lua95 30 94929
doc
Tarantool documentation
Language:CSS14 31 3.3k43

alexandra-mara's Repositories

alexandra-mara/docs
Lido docs repo
Language:JavaScript0 0 00
alexandra-mara/evm-placeholder-verification
Placeholder proof system verifier for EVM
Language:Solidity0 0 00
alexandra-mara/openfhe-python
Official Python wrapper for OpenFHE. Current release is v0.8.6 (released on March 12, 2024).
Language:C++0 0 00