txa3874

txa3874's repositories

user

zkSync: trustless scaling and privacy engine for Ethereum

Language:RustApache-2.0300

The OpenAPI Specification Repository

Language:JavaScriptApache-2.0200

A Decentralized Operating System for ZK Applications

Language:RustApache-2.0200

Open Source Computer Vision Library

Language:C++Apache-2.0100

A UI dashboard that allows CRUD operations on Zookeeper.

Language:Java100

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

Language:RustMIT100