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š.)
cppreference-mirror
mirror of cppreference.com
script.video.bilibili
Bilibili addon for Kodi
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.
PySocks
A SOCKS proxy client and wrapper for Python.
SDL
Simple Directmedia Layer
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant