minghongx
Follow
Starred repositories
A dump of ELDEN RING: Shadow of the Erdtree's text (Based on AsteriskAmpersand's Carian-Archive)
The user home repository for the Mathematics in Lean tutorial.
An introduction to programming language theory in Agda
A simple screen parsing tool towards pure vision based GUI agent
✨ Perfect virtual display for game streaming
Perceptual video quality assessment based on multi-method fusion.
Graphical program used to map keyboard buttons and mouse controls to a gamepad. Useful for playing games with no gamepad support.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Ditto is an extension to the Windows Clipboard. You copy something to the Clipboard and Ditto takes what you copied and stores it in a database to retrieve at a later time.
This is a lootfilter for the game "Path of Exile 2". It adds colors, sounds, map icons, beams to highlight remarkable gear and inform the user
mailcow: dockerized - 🐮 + 🐋 = 💕
A process for automating Docker container base image updates.
bridge between mattermost, IRC, gitter, xmpp, slack, discord, telegram, rocketchat, twitch, ssh-chat, zulip, whatsapp, keybase, matrix, microsoft teams, nextcloud, mumble, vk and more with REST API…
A privacy-first, self-hosted, fully open source personal knowledge management software, written in typescript and golang.
A free book about developing secure and robust systems software.
🎈 Updated daily! A list of popular BitTorrent Trackers! / 每天更新！全网热门 BT Tracker 列表！
A Download Manager that speeds up your downloads
Revive unavailable songs for Netease Cloud Music (Refactored & Enhanced version)
Lightweight, modular, and extensible library for functional programming.
Sealos is a production-ready Kubernetes distribution that makes deployment simple and efficient. Instantly set up development environments for any programming language or framework, deploy high-ava…
