仓库档案库

A desktop coding agent with free access to frontier models.

Free, open-source screen sharing for private live streams with friends. Watch together in a browser or self-host Piik. 免费开源的私密屏幕共享，支持游戏直播、一起看电影与自部署。

The Gosub browser engine

Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at https://gitlab.com/buildroot.org/buildroot/. Do not open issues or file pull requests here.

TickerQ is a fast, reflection-free background task scheduler for .NET built with source generators, EF Core integration, cron + time-based execution, and a real-time dashboard.

Dafny is a verification-aware programming language

A next-generation test runner for Rust.

GStreamer open-source multimedia framework

QuantumultX QX quantumult 圈X quanx 重写 脚本 rewrite 规则 分流 破解 解锁

A tiny JavaScript runtime

DeepSeek Harness Tauri 桌面版 | Only 8mb installer, zero environment setup, preset plugins, Windows / macOS / Linux.

batocera.linux

A privacy-first, open-source home assistant

A high performance implementation of the Ruby programming language, built on GraalVM.

EasyList filter subscription (EasyList, EasyPrivacy, EasyList Cookie, Fanboy's Social/Annoyances/Notifications Blocking List)

From git log to SemVer in no time

CVE cache of the official CVE List in CVE JSON 5 format

The ultimate Geometry Dash modding framework

A purely functional programming language with first class types

This is an active mirror of the KiCad development branch, which is hosted at GitLab (updated every time something is pushed). Pull requests on GitHub are not accepted or watched.