Skip to content
View TheD0ubleC's full-sized avatar

Block or report TheD0ubleC

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
TheD0ubleC/README.md

Me?

  • You can call me YiYi instead of TheD0ubleC.
  • My birthday is April 21, 2009. The perfect birthday present would be a PR that fixes every problem in one of my projects.
  • I have a cat named Rommy — I owe her a lot.
  • “If I wanted to suffer, I would’ve just touched grass.”

You Can Find Me Here


What I'm Building

Kinal

Kinal is a modern systems programming language built from scratch.

It is designed to combine low-level control, a structured safety model, and a complete developer toolchain.

Core Highlights

  • Dual execution model:

    • Native compilation
    • KinalVM bytecode
  • LLVM-based compiler backend

  • Three-tier safety model:

    • Safe
    • Trusted
    • Unsafe
  • A complete toolchain:

    • Compiler
    • Virtual machine
    • Formatter
    • Package manager
    • LSP server
  • A Kinal-powered ecosystem — even the official website is built using Kinal

Unit App;
Get IO.Console;

Static Function int Main()
{
    IO.Console.PrintLine("Hello, Kinal!");
    Return 0;
}

Explore Kinal


Building compilers, virtual machines, operating systems, and whatever else seems like a bad idea at 3 a.m.

Pinned Loading

  1. python/cpython python/cpython Public

    The Python programming language

    Python 73.8k 35k

  2. QQSafeChat QQSafeChat Public

    基于 UI Automation(UIA)的 QQ 聊天机器人完整实现,支持 AI 自动回复与表情包发送。 只需配置 API Key 并绑定 QQ 输入框、聊天列表和发送按钮即可使用。 本项目对 QQ 实现零注入、零内存读写,是目前最安全的 QQ 聊天机器人实现之一。

    Python 144 20

  3. MusicalMoments MusicalMoments Public

    基于.NET的实时音频播放与及时切换使用麦克风解决方案

    C# 110 5

  4. Kinal-Lang/Kinal Kinal-Lang/Kinal Public

    A compiled language with native control, modern syntax, and LLVM + VM backends.

    C++ 4

  5. StickerSelector StickerSelector Public

    StickerSelector 是一个基于语义向量匹配的表情包选择系统,用于让 AI 在聊天中发送真正符合语境的表情包。 与传统依赖关键词或规则的方案不同,StickerSelector 会将 AI 生成的“表情包意图描述”与本地表情包进行语义匹配,从而选出在当前语境下最自然、最像真人会使用的表情。 适用于 AI 聊天机器人、QQ或微信的自动聊天、AI 女友等需要“拟人化表达”的场景。

    Python 26 3