Skip to content
View temyurchenko's full-sized avatar
5 followers · 1 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: StarstruckAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report temyurchenko

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  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 752 67

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

    Horus, a formal verification tool for StarkNet smart contracts.

    Haskell 62 6

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

    Cairo compiler plugin extending language with annotations

    Python 8