A dynamic, cross-platform, and embeddable LaTeX rendering library

Create self-contained Lean 4 bundles for offline use

Bilibili Downloader. 一个命令行式哔哩哔哩下载器.

🖼️ Image Toolbox is a powerful app for advanced image manipulation. It offers dozens of features, from basic tools like crop and draw to filters, OCR, and a wide range of image processing options

Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory

Lean 4 programming language and theorem prover

支持用 Python 代码描述节点图，由内置引擎负责解析、验证、自动排版，再配合自动化脚本把步骤精准落到真实编辑器。

千星奇域配置转换工具

千星沙箱工具集

A document that records the format of Genshin Impact Miliastra Wonderland export files. | 一份整理了《原神》千星奇域导出文件的格式文档

Game code for Hoyo Milisastra

千星奇域节点图本地编辑器, 网页节点编辑器, 转换器 A Local Code Editor, Web Node Editor, Convertor for Genshin Impact Miliastra Wonderland

《原神·千星奇域》节点图模拟器 —— 一个不需要启动原神的节点图编辑器 "Genshin Impact - Miliastra Wonderland" Node Graph Simulator - A node graph editor without needing to use the official client

Virtual whiteboard for sketching hand-drawn like diagrams

A collaborative drawing program

Interactive Python & C++ apps for desktop, mobile, and web - powered by Dear ImGui. Stop fighting GUI frameworks. Start building.

The open-source CapCut alternative

基于pillow的可自定义markdown风格的渲染器，支持LaTeX渲染，相比playwright有更快的渲染速度（pillow直绘）及更简单的自定义方式（直接修改配置文件，无需写CSS））

The TouchController monorepo

a lightweight C++ cross-platform vision inference library,support YOLOv10 YOLOv11 PaddleOCR EasyOCR ,using ONNXRuntime/TVM with multiple exectuion providers.QQ群：364057904

A high performance, editable terrain system for Godot 4.

Tiny theorem prover with syntax like Lean 4 in <1K LOC

Fluent System Icons are a collection of familiar, friendly and modern icons from Microsoft.

Documenting common pitfalls and footguns in Lean

MAGI-1: Autoregressive Video Generation at Scale

Lets make video diffusion practical!