Popular repositories Loading

1. sigle sigle Public

   Forked from sigle/sigle

   Open-source Web3 writing platform for Web3 writers

   TypeScript

2. web3.unity web3.unity Public

   Forked from ChainSafe/web3.unity

   🕹 Unity SDK for building games that interact with blockchains.

   C#

3. cairo-contracts cairo-contracts Public

   Forked from OpenZeppelin/cairo-contracts

   OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup

   Rust

4. sourcify sourcify Public

   Forked from ethereum/sourcify

   Source code verification service for Ethereum smart contracts

   TypeScript

5. noir noir Public

   Forked from noir-lang/noir

   Noir is a domain specific language for zero knowledge proofs

   Rust

6. quint quint Public

   Forked from informalsystems/quint

   An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

   TypeScript