Light

iosmanthus Goto Github PK

followers: 166.0 following: 276.0 repos: 132.0 gists: 7.0

Name: iosmanthus

Type: User

Company: @tidbcloud @tikv @PingCAP

Bio: BC49 6167 681E 738E 5981 4A28 DEE5 BAAB FE09 2169

Location: The Capital of Cantonia

Self in Nix

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

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

    contact = {
      email = "[email protected]";
      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

iosmanthus's Projects

rds

Rust Data Structures for Education

regular-language-utils

RE -> AST -> NFA -> DFA -> minimal DFA -> VM

rocketmongodemo

Backend for the https://github.com/iosmanthus/FullStackDevDemo

rofi

A large collection of Rofi based custom Menu, Applets, Launchers & Powermenus.

rust-gmp

gmp bindings for rust

rust-learning

😝 Some examples in Rust learning

rust-openssl

OpenSSL bindings for Rust

rust-prometheus

Prometheus instrumentation library for Rust applications

scan-demo

scnuthesis

符合华南师范大学硕士/博士学位论文格式要求的LaTeX模板。

shadowsocks-rust

A Rust port of shadowsocks

sicp

📖 SICP 读书笔记，习题解答

simple-auth

A simple authentication system supporting privilege guards in request handler, written in Rust~

split-demo

spotbugs-github-action

Push SpotBugs results as check run annotations

starship

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

threadpool-rs

threads pool written in Rust

tidb

TiDB is an open source distributed HTAP database compatible with the MySQL protocol

tidb-dashboard

A Web UI for monitoring, diagnosing and managing the TiDB cluster.

tidb-dev-guide

A comprehensive development guide to help you be more and more familiar with the TiDB community and become an expert finally.

tiflash

The analytical engine for TiDB and TiDB Cloud. Try free: https://tidbcloud.com/free-trial

tiflash-docker-env

tikv

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

tikv-client-java-demo

A test demo for tikv client-java

tikv-client-java-flake

Nix Flake For tikv/client-java

tikv-dev-guide

tikv-duration-demo

benchmark Duration in tikv

tikv-flake

A nix flake for TiKV project

tikv-rfcs

RFCs for changes to TiKV and its ecosystem

tiny-language-parser

TINY Language parser

Recommend Projects

React

A declarative, efficient, and flexible JavaScript library for building user interfaces.
Vue.js

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TensorFlow

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
D3

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

javascript

JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
web

Some thing interesting about web. New door for the world.
server

A server is a program made to process requests and deliver data to clients.
Machine learning

Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.