Popular repositories Loading

1. solidity solidity Public

   Forked from ethereum/solidity

   Solidity, the Contract-Oriented Programming Language

   C++ 1

2. ivy ivy Public

   Forked from microsoft/ivy

   IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…

   Python

3. babun-docker babun-docker Public

   Forked from tiangolo/babun-docker

   Use Docker Toolbox with Babun (Cygwin) in Windows

   Shell

4. celo-monorepo celo-monorepo Public

   Forked from Certora/celo-monorepo

   Official repository for core projects comprising the Celo platform

   TypeScript 1