Skip to content
View 5eqn's full-sized avatar
💤
💤
39 followers · 40 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

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 info-gap/info-gap-server Public

    Remove information gap with AI assistant.

    Python 6 1

  2. proof-cat proof-cat Public

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

    TypeScript 7

  3. silent-lang silent-lang Public

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

    Scala 11 1

  4. nothura.nvim nothura.nvim Public

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

    Shell 10

  5. elaboration-scala elaboration-scala Public

    Elaboration Zoo partially implemented in Scala3.

    Scala 6

  6. blnary/charter blnary/charter Public

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

    Dart 1