Skip to content
View DyeKuu's full-sized avatar
😻
😻
57 followers · 41 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

Block or Report

Block or report DyeKuu

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

Pinned

  1. openai/miniF2F openai/miniF2F Public

    Formal to Formal Mathematics Benchmark

    Objective-C++ 260 40

  2. sail-sg/hloenv sail-sg/hloenv Public

    an environment based on XLA for deep learning compiler optimization research.

    C++ 23 1

  3. metamath/set.mm metamath/set.mm Public

    Metamath source file for logic and set theory

    HTML 232 85

  4. facebookresearch/miniF2F facebookresearch/miniF2F Public

    An updated version of miniF2F with lots of fixes and informal statements / solutions.

    Objective-C++ 51 15

  5. KaiserY/trpl-zh-cn KaiserY/trpl-zh-cn Public

    Rust 程序设计语言（2021 edition）

    Markdown 4.3k 550

  6. openai/lean-gym openai/lean-gym Public

    Lean 145 32