🧩 NeoDB is a self-hosted server tracking what you read/watch/listen/play, powering a global distributed community federating via ActivityPub.

A library for building fast, reliable and evolvable network services.

Lean 4 programming language and theorem prover

Demonstration and Template Projects

Voxel module for Godot Engine

Babylon.js is a powerful, beautiful, simple, and open game and rendering engine packed into a friendly JavaScript framework.

💬 A Simple, Safe Comment System

A command-line installer for Windows.

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Learn Julia via interactive tutorials!

The Julia Programming Language

最全面的游戏开发技术图谱。帮助游戏开发者们在已知问题上节省时间，省出更多的精力投入到更有创造性的工作中去。

Agda is a dependently typed programming language / interactive theorem prover.

Windows system utilities to maximize productivity

My collection of Aseprite Scripts. Useful to make repetitive export patterns quicker.

Free (libre) font editor for Windows, Mac OS X and GNU+Linux

A client for QQ and more.

Open source Pan-CJK pixel font / 开源的泛中日韩像素字体

Smart selectors to be used with i18next (same API as jquery-i18next but with html5 selectors)

Insular email distribution - mail server as Docker images

Godot Engine – Multi-platform 2D and 3D game engine

Open 3D Engine (O3DE) is an Apache 2.0-licensed multi-platform 3D engine that enables developers and content creators to build AAA games, cinema-quality 3D worlds, and high-fidelity simulations wit…

An ecosystem of tools for Godot Engine and Valve's Steam. For the Windows, Linux, and Mac platforms.

A new markup-based typesetting system that is powerful and easy to learn.