Z
Z3Prover/z312.9k
The Z3 Theorem Prover
z3-5.3.3C++
更新于 4 小时前NOASSERTION
02 / Repository index
仓库档案库
按平台、分类、语言与许可组合筛选；每条记录都能回到仓库原文核对。
542 records · filtered
1 项已应用
S
SaschaWillems/Vulkan12.2k
C++ examples for the Vulkan graphics API
GLSLglslhlsl
更新于 8 天前MIT
F
flxzt/rnote11.8k
Sketch and take handwritten notes.
v0.14.2Rustdrawinggtk
更新于 1 天前GPL-3.0
G
gcc-mirror/gcc11.3k
暂无描述
C++
更新于 2 小时前GPL-2.0
O
open-gsd/gsd-core11.2k
Git. Ship. Done - Core
v1.19.0JavaScriptclaude-codecontext-engineering
更新于 14 小时前MIT
G
google/skia11.0k
Skia is a complete 2D graphic library for drawing Text, Geometries, and Images. See documentation for contribution instructions.
C++
更新于 5 小时前BSD-3-Clause
S
stenzek/duckstation10.9k
Fast PlayStation 1 emulator for x86-64/AArch32/AArch64/RV64
latestC++appimageemulator
更新于 8 小时前NOASSERTION
H
HMCL-dev/HMCL10.9k
A Minecraft Launcher which is multi-functional, cross-platform and popular
v3.16.4Javajavafxminecraft
更新于 8 小时前GPL-3.0
T
TrinityCore Open Source MMO Framework (master = 12.1.5.70575, 3.3.5 = 3.3.5a.12340, cata classic = 4.4.2.60895)
TDB335.26091C++hacktoberfestlinux
更新于 3 小时前GPL-2.0
S
Advanced Subscription Manager for QX, Loon, Surge, Stash, Egern and Shadowrocket!
2.44.2JavaScriptclashhttp
更新于 22 小时前AGPL-3.0
F
Freika/dawarich10.8k
Your favorite self-hostable alternative to Google Timeline (Google Location History)
1.20.0Rubygoogle-mapsgpslogger
更新于 8 小时前AGPL-3.0
F
fluxerapp/fluxer10.7k
A free and open source instant messaging and VoIP chat app built for friends, groups, and communities.
fluxer-release@2026.1102.33216TypeScriptfluxerfluxerapp
更新于 6 小时前AGPL-3.0
H
Hydra is a framework for elegantly configuring complex applications
v1.3.8Python
更新于 2 小时前MIT
M
mamedev/mame10.7k
MAME
mame0289C++
更新于 4 小时前NOASSERTION
L
LMMS/lmms10.6k
Cross-platform music production software
v1.2.2C++dawhacktoberfest
更新于 11 小时前GPL-2.0
I
ibelick/ui-skills10.5k
Skills for Design Engineers
v0.2.3TypeScriptskillsui-skills
更新于 2 小时前MIT
H
:blue_book: Home Assistant User documentation
HTMLdocumentationhacktoberfest
更新于 3 小时前NOASSERTION
A
antiwork/gumroad10.1k
See what sticks
v2026.11.02.13Ruby
更新于 3 小时前MIT
E
embassy-rs/embassy10.1k
Modern embedded framework, using Rust and async.
Rustasyncdrivers
更新于 8 小时前Apache-2.0
Z
DeepSeek Harness (DSH) Web 插件聚合生态 · 万物皆插件，通过创意工坊分发｜｜DeepSeek Harness (DSH) Web Plugin Aggregation Ecosystem · Everything is a plugin, distributed via the Creative Workshop
v0.4.14TypeScriptcordisdeepseek-harness
更新于 6 小时前Apache-2.0