An enterprise-class UI design language and React UI library

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

Fluent UI web represents a collection of utilities, React components, and web components for building web applications.

🔒 A compiled checklist of 300+ tips for protecting digital security and privacy in 2024

An innovative superfamily of fonts for code

Your One-Stop Publication Workbench

The adaptive interface system for modern web experiences.

🔮 A lightweight comments widget built on GitHub issues

Experimental spaced repetition platform for exploring ideas in memory augmentation and programmable attention

Unofficial ProtonMail Desktop App

Lean theorem proving interface which feels like pen-and-paper proofs.

transcripts and captions for 3blue1brown videos

咱龙了吗？在这里一站式了解 LoongArch 的上游生态建设。 Are we Loong yet? Follow LoongArch upstream work right here right away.

VTubers Statistics and Data Visualization

Minecraft v1.21 HD PBR resource pack. Works with Java and Bedrock shaders.

The backend service of Lyrio, which powers LibreOJ

Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.

[Abandoned] 在vscode上看色图

🚀🎉✨[Electron] An awesome Minecraft Launcher.

The web frontend of Lyrio, which powers LibreOJ

QuickFix actions for Haskell in VSCode

🌊 A React UI library

~ VSCode extension for Aya Prover

Turn danmaku into comments, in VSCode