Pinned Loading

1. nixpkgs-update-notifier nixpkgs-update-notifier Public

   A matrix bot to get notified of nixpkgs-update build failures

   Go 24 1

2. dapphub/dapptools dapphub/dapptools Public

   Dapp, Seth, Hevm, and more

   Haskell 2.1k 321

3. NixOS/nixpkgs NixOS/nixpkgs Public

   Nix Packages collection & NixOS

   Nix 25.4k 19.4k

4. NixOS/nixops NixOS/nixops Public

   NixOps is a tool for deploying to NixOS machines in a network or cloud.

   Python 2.2k 365

5. sky-ecosystem/nft-adapter sky-ecosystem/nft-adapter Public archive

   Adapter for EIP-721 compatible NFTs

   Solidity 11 5

6. runtimeverification/evm-semantics runtimeverification/evm-semantics Public

   K Semantics of the Ethereum Virtual Machine (EVM)

   KCL 586 155