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-SafeMath

16
Stars
2
Forks
Watchers

cairo-vm-go

88
Stars
56
Forks
88
Watchers

A virtual machine for Cairo written in Go

general-agents-module

18
Stars
14
Forks
Watchers

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!