Sandbox Server in REST / gRPC API. Based on Linux container technologies.

CLI tool for spawning and running containers according to the OCI specification

PTY interface for Go

Universal Online Judge

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

✨ Simple, free and open-source online code editor.

Run command on Linux with resources limited.Modified for GuOJ.

A Judge Server for OnlineJudge System

A flexable Websocket & HTTP Server for GuOJ Project.

Backend for GuOJ Project.

Frontend Project For GuOJ

AStyle code formatter compiled to WebAssembly, for Node.js and the browser.

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

The backend service of Lyrio, which powers LibreOJ

The next generation judging system for Hydro (and vijos)

TiDB is an open-source, cloud-native, distributed, MySQL-Compatible database for elastic scale and real-time analytics. Try AI-powered Chat2Query free at : https://www.pingcap.com/tidb-serverless/

The web frontend of Lyrio, which powers LibreOJ

C++ library to develop competitive programming problems

The next generation SYZOJ server, written in Go

A Web Audio framework for making interactive music in the browser.

Universal Online Judge (Community Edition)

Command-line program to download videos from YouTube.com and other video sites

Web-based danmaku server

An API wrapper for Discord written in Python.

Patched fonts for Powerline users.

🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

oh-my-zsh Powerline style Theme

Resumes generated using the GitHub informations