Pinned Loading

1. NethermindEth/warp NethermindEth/warp Public archive

   Warp - Bringing Solidity to Starknet at warp speed. Warp is a Solidity to Cairo Compiler, this allows teams to write/migrate Solidity to Cairo for easy onboarding into the StarkNet ecosystem.

   TypeScript 748 70

2. NethermindEth/horus-checker NethermindEth/horus-checker Public

   Horus, a formal verification tool for StarkNet smart contracts.

   Haskell 74 9

3. NethermindEth/horus-compile NethermindEth/horus-compile Public

   Cairo compiler plugin extending language with annotations

   Python 8 1