Patches needed to build VMware (Player and Workstation) host modules against recent kernels

Bear is a tool that generates a compilation database for clang tooling.

Fast math typesetting for the web.

Cross-platform asynchronous I/O

Operating system and container binary deployment and upgrades

High-level tracing language for Linux

A high performance layer 4 load balancer

ExifTool meta information reader/writer

Waydroid uses a container-based approach to boot a full Android system on a regular GNU/Linux system like Ubuntu.

Vulkan-based implementation of D3D8, 9, 10 and 11 for Linux / Wine

Podman: A tool for managing OCI containers and pods.

Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available…

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

LaTeX Thesis Template for Tsinghua University

System for collecting, deriving and working with facts about source code.

Kora icon theme for GNU/Linux os

ranger-like terminal file manager written in Rust

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

⚛📦 Hybrid image/package system with atomic upgrades and package layering

开源像素字体。支持 8、10 和 12 像素。

maybe a new fcitx.

自建拼音输入法词库，百万常用词汇量，适配 Fcitx5 (Linux / Android) 及 Gboard (Android + Magisk or KernelSU) 。

Kotlin code completion, diagnostics and more for any editor/IDE using the Language Server Protocol

Popular Open Source Online Judge based on PHP/C++/MySQL/Linux for ACM/ICPC and NOIP training, with easy installation. 开源OJ系统

DOMjudge programming contest jury system

Hydro - Next generation high performance online-judge platform - 新一代高效强大的信息学在线测评系统 (a.k.a. vj5)

一个用于算法竞赛的在线评测系统。An online judge system for algorithm competition.

Open source online judge based on Vue, Django and Docker. | 青岛大学开源 Online Judge | QQ群 496710125 | [email protected]