Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor
  • Pro

Pinned

  1. You are your dotfiles.

    Objective-C 5 1

  2. understandable implementation of raft algorithm in rust

    Rust 1

  3. 🐢 personal async telegram bot

    Rust

  4. yearly challenge

    Rust

  5. 孤独左括号补完计划

    Haskell 8

  6. Solutions for course Software Foundations.

    Coq 1 1

193 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Activity overview
Contributed to scturtle/AdventOfCode2019, scturtle/dotfiles, scturtle/turtlebot and 5 other repositories
Loading

Contribution activity

August 2020

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.