Skip to content
View 5eqn's full-sized avatar
💤
💤

Highlights

  • Pro

Block or report 5eqn

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

About Me

正式 / Formal 非正式 / Informal
  • Dynamite 段位分:30700R+ (Reboot 服)
  • 正在尝试音乐制作
  • 喜欢做依值类型梦
  • Dynamite ranking score: 30700R+ (Reboot Server)
  • Attempting to be a music producer
  • Dreams about Dependent Types

GitHub Stats

5eqn's GitHub stats

GitHub Trophy

trophy

Pinned Loading

  1. info-gap/info-gap-server Public

    Remove information gap with AI assistant.

    Python 6 1

  2. proof-cat Public

    A drag-and-drop proof assistant inspired by Scratch.

    TypeScript 7

  3. silent-lang Public

    [WIP] A modest (888 lines) FP language that compiles to LLVM-IR.

    Scala 11 1

  4. nothura.nvim Public

    Link to page of PDF in Markdown, with Neovim and Zathura.

    Shell 10

  5. elaboration-scala Public

    Elaboration Zoo partially implemented in Scala3.

    Scala 6

  6. blnary/charter Public

    Chart maker for rhythm game "blnary" written with Flutter.

    Dart 1

1,152 contributions in the last year

Contribution Graph
Day of Week February March April May June July August September October November December January February
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Contribution activity

February 2025

5eqn has no activity yet for this period.
Loading

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