txa3874's Stars
opencv/opencv
Open Source Computer Vision Library
OAI/OpenAPI-Specification
The OpenAPI Specification Repository
btcsuite/btcd
An alternative full node bitcoin implementation written in Go (golang)
matter-labs/zksync
zkSync: trustless scaling and privacy engine for Ethereum
AleoNet/snarkOS
A Decentralized Operating System for ZK Applications
DeemOpen/zkui
A UI dashboard that allows CRUD operations on Zookeeper.
zetzit/zz
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
BTCGPU/BTCGPU
Current work on BTCGPU
ethereum/btcrelay
Ethereum contract for Bitcoin SPV: Live on https://etherscan.io/address/0x41f274c0023f83391de4e0733c609df5a124c3d4
txa3874/wo10
user
txa3874/zksync
zkSync: trustless scaling and privacy engine for Ethereum
txa3874/OpenAPI-Specification
The OpenAPI Specification Repository
txa3874/snarkOS
A Decentralized Operating System for ZK Applications
txa3874/opencv
Open Source Computer Vision Library
txa3874/zkui
A UI dashboard that allows CRUD operations on Zookeeper.
txa3874/zz
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C