Skip to content
View minnakamiyuki's full-sized avatar
🐱
Be curious. Read widely. Try new things.
🐱
Be curious. Read widely. Try new things.
25 followers · 20 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Organizations

@Whu-Lambda

Block or report minnakamiyuki

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

Hi there 👋

🔭 I’m currently working on

  • Whu λ: A community of functional programmers
  • λ Cube: Our Sharing Session Handouts
  • λ Collection: A collection of our works
  • Planning my future

🌱 I’m currently learning

⚛️ I'm currently looking for an internship

Top Langs

Pinned Loading

  1. Whu-Lambda/Lambda-Cube Whu-Lambda/Lambda-Cube Public

    Whu Lambda Lectures

    Coq 12 2

  2. Whu-Lambda/collection Whu-Lambda/collection Public

    Lambda 作品集

    Coq 10 2

  3. MyLeetcode MyLeetcode Public

    My Leetcode daily record.

    C++ 1

  4. algorithm_contest algorithm_contest Public

    Forked from xinchengxx/algorithm_contest

    learn algorithm by participating contest

    C++