Skip to content
View Zecyel's full-sized avatar
💥
MindDraining
💥
MindDraining
120 followers · 164 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: Starstruck

Highlights

  • Pro

Organizations

@FDCraft @Structure-oriented-Framework @Neo-Neural @26-Arch @OmegaCombinator

Block or report Zecyel

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Zecyel/README.md

Hi there 👋

Zecyel's GitHub stats

Top Langs

Pinned Loading

  1. acornprover/acorn acornprover/acorn Public

    The core implementation of the Acorn language.

    Rust 45 10

  2. acornprover/acornlib acornprover/acornlib Public

    Acorn's standard library of mathematical facts.

    Shell 58 22

  3. FDUCSLG/CS101 FDUCSLG/CS101 Public

    复旦大学计算机入门指南

    55 14

  4. zh-google-styleguide/zh-google-styleguide zh-google-styleguide/zh-google-styleguide Public

    Google 开源项目风格指南 (中文版)

    Makefile 11k 2.8k

  5. 18-BirthdayGift 18-BirthdayGift Public

    My birthday gift of 18.

    4