Skip to content
View asymmetric's full-sized avatar
👾
:
👾
:
67 followers · 19 following
Block or Report

Block or report asymmetric

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. dapphub/dapptools dapphub/dapptools Public

    Dapp, Seth, Hevm, and more

    Haskell 2k 326

  2. NixOS/nixpkgs NixOS/nixpkgs Public

    Nix Packages collection & NixOS

    Nix 15.8k 12.4k

  3. NixOS/nixops NixOS/nixops Public

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

    Python 1.7k 366

  4. makerdao/nft-adapter makerdao/nft-adapter Public archive

    Adapter for EIP-721 compatible NFTs

    Solidity 10 6

  5. runtimeverification/evm-semantics runtimeverification/evm-semantics Public

    K Semantics of the Ethereum Virtual Machine (EVM)

    Python 497 132