[go: up one dir, main page]

Skip to content
View iosmanthus's full-sized avatar
:dependabot:
Writing the safest code that can't be compiled
:dependabot:
Writing the safest code that can't be compiled

Sponsoring

@nekohasekai

Organizations

@tikv @tidb-incubator

Block or report iosmanthus

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
iosmanthus/README.md

Self in Nix

{ pkgs
, ...
}: {
  users.users.iosmanthus = {
    interest = [
      "Cat"
      "Database"
      "Distributed System"
      "NixOS"
      "Rust"
    ];

    careers = [{
      name = "PingCAP";
      url = "https://www.pingcap.com";
    }];

    contact = {
      email = "myosmanthustree@gmail.com";
      twitter = "@iosmanthus1998";
    };

    tools = {
      editor = pkgs.vscode;
      shell = pkgs.zsh;
      terminal = pkgs.kitty;
      browser = pkgs.firefox;
      font = pkgs.meslo-lg;
      email = pkgs.thunderbird;
    };

    tags = [ "hen-pecked" "cat lover" ];
  };
}

Listening

spotify-github-profile

Pinned Loading

  1. tikv/tikv tikv/tikv Public

    Distributed transactional key-value database, originally created to complement TiDB

    Rust 15.3k 2.1k

  2. pingcap/tidb pingcap/tidb Public

    TiDB - the open-source, cloud-native, distributed SQL database designed for modern applications.

    Go 37.4k 5.9k

  3. nixos-config nixos-config Public

    iosmanthus's nixos configuration

    Nix 22 1

  4. tikv/client-go tikv/client-go Public

    Go client for TiKV

    Go 282 222

  5. tikv/client-rust tikv/client-rust Public

    Rust Client for TiKV.

    Rust 389 132

  6. tikv/client-java tikv/client-java Public

    TiKV Java Client

    Java 111 110