Pinned Loading

1. eth2.0-dafny eth2.0-dafny Public

   Forked from Consensys/eth2.0-dafny

   Eth2.0 spec in Dafny

   Dafny 2

2. HRManager HRManager Public

   The HRManager Solidity smart contract, designed to implement a Human Resources (HR) Payment System on the Optimism blockchain.

   Solidity 1

3. Haskell-Lab Haskell-Lab Public archive

   Haskell

4. Snake-Game Snake-Game Public archive

   Python

5. Fungi-game Fungi-game Public archive

   Java

6. Chess-Game Chess-Game Public

   Java