Skip to content
View thyecust's full-sized avatar
🎯
Focusing
🎯
Focusing
8 followers · 39 following

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Block or report thyecust

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

  • SystemBricks Public

    🧱

    Python 1 Updated Sep 13, 2024

  • the Public

    Jupyter Notebook Updated Jun 24, 2024

  • leetcode-asm Public

    Updated May 10, 2024

  • translation Public

    some translation pieces from EN to CN-ZH

    Updated Apr 28, 2024

  • product Public

    Updated Apr 15, 2024

  • AFFiNE Public

    Forked from toeverything/AFFiNE

    There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable an…

    TypeScript Other Updated Apr 15, 2024

  • automap Public

    Python Updated Mar 2, 2024

  • p Public

    1 Updated Dec 20, 2023

  • llvm-project Public

    Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…

    Other Updated Dec 16, 2023

  • warn Public

    Updated Nov 25, 2023

  • TextTree Public

    a python implementation of clang::TextTreeStructure.

    Python Updated Nov 18, 2023

  • en Public

    Forked from algorithmica-org/en
    Updated Nov 1, 2023

  • thyecust Public

    Updated Oct 19, 2023

  • theorem_proving_in_lean4 Public

    Forked from leanprover/theorem_proving_in_lean4

    Theorem Proving in Lean 4

    JavaScript Apache License 2.0 Updated Sep 20, 2023

  • cv Public

    Updated Aug 28, 2023

  • moonbit-wasm-game-of-life Public

    Forked from mununki/moonbit-wasm-game-of-life

    Game of life in MoonBit

    JavaScript Updated Aug 28, 2023

  • poem Public

    Updated Aug 27, 2023

  • awesome-papers Public

    Updated Aug 24, 2023

  • awesome-benchmarks Public

    Awesome benchmark programs, tools, platforms and other.

    Updated Aug 17, 2023

  • color Public

    Use grep to make your document colorful!

    Python Updated Aug 17, 2023

  • ab3 Public

    Updated Aug 11, 2023

  • thyecust.github.io Public

    The best not come alone，It comes with the company of the all.

    HTML Updated Aug 2, 2023

  • tr35 Public

    HTML Updated Aug 2, 2023

  • tapl Public

    Creative Commons Zero v1.0 Universal Updated Jul 21, 2023

  • kotlin-web-site Public

    Forked from JetBrains/kotlin-web-site

    The Kotlin programming language website

    JavaScript Apache License 2.0 Updated Jul 13, 2023

  • fsharp Public

    Forked from dotnet/fsharp

    The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

    F# MIT License Updated Jul 10, 2023

  • rxjs Public

    Forked from ReactiveX/rxjs

    A reactive programming library for JavaScript

    TypeScript Apache License 2.0 Updated Jun 14, 2023

  • spark Public

    Forked from apache/spark

    Apache Spark - A unified analytics engine for large-scale data processing

    Scala Apache License 2.0 Updated Apr 2, 2023

  • camllight Public

    Forked from camllight/camllight

    The Caml Light implementation of the Caml language

    OCaml Updated Mar 10, 2023

  • hand-program-analysis Public

    GNU General Public License v3.0 Updated Dec 16, 2022