Pinned Repositories
aligned
DARC
Decentralized Autonomous Regulated Company (DARC), a company virtual machine that runs on any EVM-compatible blockchain, with on-chain law system, multi-level tokens and dividends mechanism.
glass
kntl
main
main2
owsehn
proof
smooth
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
hitamkaoskaki's Repositories
hitamkaoskaki/proof
hitamkaoskaki/DARC
Decentralized Autonomous Regulated Company (DARC), a company virtual machine that runs on any EVM-compatible blockchain, with on-chain law system, multi-level tokens and dividends mechanism.
hitamkaoskaki/glass
hitamkaoskaki/kntl
hitamkaoskaki/main
hitamkaoskaki/main2
hitamkaoskaki/owsehn
hitamkaoskaki/smooth