Tyrion's repositories
Coqtail
Interactive Coq Proofs in Vim
AuroraDNS.GUI
纯净抗污染，简单轻量级
bing-wallpaper
Automatically change your desktop background to Bing's image of the day, every day.
caddy-script
:whale: Caddy installation script
cuetools.net
CD image processing suite with optimized lossless encoders in C#
dtreeviz
A python library for decision tree visualization and model interpretation.
Duo-Strength
Browser extension to add back the strength for each individual skill, and other useful hidden statistics.
duolingonextlesson
Study your Duolingo tree using spaced repetition.
DynamicDNS
基于DNSPod构建的DDNS软件
graphviz
Simple Python interface for Graphviz
howto-make-more-money
程序员如何优雅的挣零花钱
Locale-Emulator
Yet Another System Region and Language Simulator
MailKit
A cross-platform .NET library for IMAP, POP3, and SMTP.
NSmartProxy
NSmartProxy是一款开源的内网穿透工具。采用.NET CORE的全异步模式打造。(NSmartProxy is an open source reverse proxy tool that creates a secure tunnel from a public endpoint to a locally service.)
p2p
🖥️ P2P Remote Desktop - Portable, No Configuration or Installation Needed.
p2p-tunnel
.NET7 Socket NAT transfer，UDP,TCP punch hole，tcp forward，udp forward，http1.1 proxy，socks5 proxy，networking
phpquery
A packagist-friendly fork of phpquery **WARNING: abandonware and buggy: use at your own risk**
Qv2ray
:star: Linux / Windows / macOS 跨平台 V2Ray 客户端 | 支持 VMess / VLESS / SSR / Trojan / Trojan-Go / NaiveProxy / HTTP / HTTPS / SOCKS5 | 使用 C++ / Qt 开发 | 可拓展插件式设计 :star:
ShareX
ShareX is a free and open source program that lets you capture or record any area of your screen and share it with a single press of a key. It also allows uploading images, text or other types of files to many supported destinations you can choose from.
syncthing
Open Source Continuous File Synchronization
tapfa-init.el
Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA)
us-intl-esperanto
US International keyboard Layout with Esperanto characters