mkckr0's repositories
audio-share
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š.)
script.video.bilibili
Bilibili addon for Kodi
cppreference-mirror
mirror of cppreference.com
hev-socks5-tunnel
A high-performance tun2socks for Linux/Android/FreeBSD/macOS/iOS/WSL2 (IPv4/IPv6/TCP/UDP)
category_traits
A way to identify C++ value category in compile-time using template partial specialization and decltype(())
setup-vcpkg
Setup vcpkg with VCPKG_ROOT, VCPKG_DEFAULT_TRIPLET, asset caching and binary caching.
BatteryPermissionHelper
This Library helps whitelist your Android App in Battery Settings, to prevent the app from getting killed due to Battery Optimisations.
cppreference-doc
C++ standard library reference
elan
A Lean version manager
GodotSteam
An open-source and fully functional Steamworks SDK / API module and plug-in for the Godot Game Engine.
SDL
Simple Directmedia Layer
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant