Skip to content
View chuigda's full-sized avatar
🔨
I'm a hammer
🔨
I'm a hammer

Organizations

@club-doki7 @kawaii-cs

Block or report chuigda

Report abuse

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

Report abuse
chuigda/README.md

⚠️Warning⚠️: This user's profile may include the following contents:

故意挑事
  • Native Language Fundamentalism Say hail to Java!
  • Racket YYDS
  • Ancient Technology enthu???st (Forgot how to spell)
  • Anti-Fans
  • Pigeon
  • !(me instanceof PoliticallyCorrect)
  • Sweating Soybean
  • Rocket Building
  • Military race
  • Hyperblunderemia
  • Socialism/Communism/Sovietskiy
  • Orange juice 🍹

If you fell uncomfortable, please adapt as soon as possible😜

About Chuigda WhiteGive

  • INFP-T (I 90%, N 85%, F 55%, P 80%, T 75%)
  • 🔭 I’m currently working on vulkan4j and PL12.
  • 🌱 I’m currently learning Type Theory, Proof Assistants, Vulkan, Chess and many funny things.
  • 😄 Pronouns: java.lang.Object
  • 📫 How to reach me:
  • ⚡ Fun fact: My nickname "Chuigda" comes from this file name.
    • "Chui" stands for hammer or mallet in Chinese
    • "gda" comes from Agda

Top Langs

Chuigda's github stats

Pinned Loading

  1. club-doki7/vulkan4j club-doki7/vulkan4j Public

    Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs

    Kotlin 94 9

  2. club-doki7/naql club-doki7/naql Public

    Programming language theory paper/thesis/book grand translation/compilation project

    Typst

  3. Vulkan-Tutorial-Rust-CN Vulkan-Tutorial-Rust-CN Public

    Rust 版 Vulkan 教程的中文翻译,基于 vulkanalia

    Rust 143 14

  4. club-doki7/Project-PL12 club-doki7/Project-PL12 Public

    PL-12 Experimental Dependently-Typed Lambda Calculus

    Java

  5. Project-WG Project-WG Public

    试图用 OpenGL 3.3 画个可爱(?大概吧)的小机器人。

    C++ 17 1

  6. TypeAssert TypeAssert Public

    Minimal JavaScript type assertions

    JavaScript 10 1