Starred repositories
实现Linux Wayland下腾讯会议屏幕共享（非虚拟相机）. Hook library that enables screenshare with Tencent Wemeet on Linux Wayland, without the need of using virtual cameras.
⭐️ A friendly language for building type-safe, scalable systems!
Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.
Library providing helpers for the Linux kernel io_uring support
A C++ High Performance Web Server using io_uring and cpp20 coroutine
Touying is a powerful package for creating presentation slides in Typst.
A low-power E-Paper weather display powered by an ESP32 microcontroller. Utilizes the OpenWeatherMap API.
A language server that provides input method functionality using librime 通过 LSP 代码补全使用 Rime 输入法
Rust implementation of the wayland protocol (client and server).
本项目仅用于分享23年考研期间由网络收集的西电833、834专业课（计科）资料内容，内含真题试卷、试卷答案和讲解视频。
Hide contextmenu items in Firefox Photon
A highly customizable calendar view and compose library for Android and Kotlin Multiplatform.
Next generation Cosmic desktop environment
The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
Let's write an OS which can run on RISC-V in Rust from scratch!
一本 GPT4 生成的单词书📚，超过 8000 个单词分析，涵盖了词义、例句、词根词缀、变形、文化背景、记忆技巧和小故事
Firefox Userchrome and sidebery style
A list of awesome lean4 projects. Feel free to add your project.
A collection of out-of-tree LLVM passes for teaching and learning
Zstandard - Fast real-time compression algorithm
支持Gemini Pro / Cloudflare Workers AI / ChatGPT的融合Web平台
Lean 4 programming language and theorem prover
A list of awesome compiler projects and papers for tensor computation and deep learning.