-
audio-share Public
Audio Share can share Windows/Linux computer's audio to Android phone over network, so your phone becomes the speaker of computer. (You needn't buy a new speaker😄.)
-
category_traits Public
A way to identify C++ value category in compile-time using template partial specialization and decltype(())
C++ Boost Software License 1.0 UpdatedJan 9, 2025 -
-
hev-socks5-tunnel Public
Forked from heiher/hev-socks5-tunnelA high-performance tun2socks for Linux/Android/FreeBSD/macOS/iOS/WSL2 (IPv4/IPv6/TCP/UDP)
-
setup-vcpkg Public
Setup vcpkg with VCPKG_ROOT, VCPKG_DEFAULT_TRIPLET, asset caching and binary caching.
JavaScript MIT License UpdatedMar 5, 2024 -
script.video.bilibili Public
Bilibili addon for Kodi
-
-
BatteryPermissionHelper Public
Forked from WaseemSabir/BatteryPermissionHelperThis Library helps whitelist your Android App in Battery Settings, to prevent the app from getting killed due to Battery Optimisations.
-
elan Public
Forked from leanprover/elanA Lean version manager
Rust Apache License 2.0 UpdatedAug 4, 2023 -
GodotSteam Public
Forked from GodotSteam/GodotSteamAn open-source and fully functional Steamworks SDK / API module and plug-in for the Godot Game Engine.
C++ MIT License UpdatedJul 19, 2023 -
PySocks Public
Forked from Anorov/PySocksA SOCKS proxy client and wrapper for Python.
-
vscode-lean4 Public
Forked from leanprover/vscode-lean4Visual Studio Code extension for the Lean 4 proof assistant
TypeScript Apache License 2.0 UpdatedJul 14, 2023 -
cppreference-doc Public
Forked from PeterFeicht/cppreference-docC++ standard library reference
HTML GNU General Public License v3.0 UpdatedFeb 6, 2023 -
{{ message }}