Nethermind
Results
23
repositories owned by
Nethermind
dotnet-libp2p
47
Stars
18
Forks
Watchers
A libp2p implementation for .NET in C#.
horus-checker
66
Stars
7
Forks
Watchers
Horus, a formal verification tool for StarkNet smart contracts.
starknet-remix-plugin
45
Stars
30
Forks
45
Watchers
A plugin that brings Starknet to Remix! 🐺 ⭐
cairo-vm-go
88
Stars
56
Forks
88
Watchers
A virtual machine for Cairo written in Go
hardhat-warp
19
Stars
8
Forks
19
Watchers
A Hardhat plugin that uses Warp to bring Solidity contracts to StarkNet
int256
24
Stars
9
Forks
Watchers
A 256-bit integer implementation for .NET
starknet.go
175
Stars
138
Forks
175
Watchers
Golang Library for StarkNet/Cairo
voyager-verifier
35
Stars
15
Forks
35
Watchers
CLI to verify your starknet contracts classes on block explorers!