加速加速加速，github我来了

nusmv是形式化验证的一个常用工具，主要可以进行LTL，CTL的建模。windows版。

搜狗输入法 mac 版皮肤修正-同win一样的外观（皮肤）

中文版文件去重软件特别好用win系统化

Synergy 是一款能够让使用者仅用一套键盘鼠标，就同时操控多部计算机的免费工具软件。使用者能够在包括 Windows 、 Linux 、 Mac OS 等不同的系统上安装它，并且在设定好主从关系后，就能够透过一组键盘鼠标来进行多部计算机的操控。 这样子的操控方式，对于拥有笔记型计算机的人来说尤其方便，你能够将笔记型计算机与家中的桌上型计算机设定好主从关系，如此一来，就能够利用笔记型计算机来操控两部计算机，不需要额外的切换装置的帮忙，就能够方便地完成许多工作。 使用者在使用 Synergy 时要特别注意的是，必须要仔细设置主从关系的切换设定，如此才能够顺利地透过鼠标光标的移动来切换目前所使用的计算机，不至于因为鼠标光标一移到新计算机，就无法切换为原计算机的窘境。

.NET 5.0 Desktop Runtime (v5.0.15) - Windows x64 下载，运行MRTK（MixedRealityFeatureTool.exe）插件包工具提示，安装.Net 的解决办法办法，详细看教程：https://blog.csdn.net/yihaihanyan/article/details/123993936

由XMind 8团队重新打造的一款思维导图软件，全新 Snowbrush 引擎，提升了思维导图的展示效果，丰富了绘图的元素，包括最时尚的主题和字体设计，备注支持 Markdown 编辑模式，设计思维导图时界面更清爽简约。配合 XMind Cloud 工作更高效，而且可以与 Office、PDF、印象笔记协作工作。 深色界面 相比于浅色界面，深色界面能让你更轻松地集中注意力。在暗处可以让屏幕不那么亮眼，减缓视觉疲劳，更专注于思维导图的绘制。目前深色界面已适配贴纸、预览、操作面板等所有界面。 大纲视图 思维导图中的大纲视图巧妙结合了发散性思考，提供了一种组织和架构思维的新方式，有效帮助大脑思考和解决问题。 ZEN 模式 ZEN 模式让你专注于思维导图本身。在 ZEN 模式下，你可以集中火力，全神贯注地进行思维的发散和整理，得出更好的解决方案。 丰富的主题元素 可以通过添加标记、标签、超链接、附件、主题链接、笔记等丰富的主题元素来表达多元的信息结构。 多种结构和主题 我们在导图中提供鱼骨图、矩阵图、时间轴、组织结构图等来丰富你的思维结构。更有六边形、胶囊形、圆形等不同主题形状来强调

可以直接在。appx 右键找到安装。 附：DApp开发环境说明

Hirender S3是应用于展演行业的全能型专业媒体服务器。凭借强大的“时间线模式”、“窗口模式”、“灯库模式”，Hirender S3可以方便地对节目的播控流程进行管理，轻松实现绚丽的视觉特效和灵活的创意显示。单台服务器最高可支持6路4Kx2K超高清显示，同时，服务器之间可无限级联并同步输出，满足超大分辨率LED拼接、投影融合、创意显示等多样化需求。Hirender S3广泛应用于会议、演出和各种大型活动。

Hirender是由澜景科技自主研发的全球领先的多媒体控制系统，将声、光、电、机械总控技术完美的应用于舞台演艺、展馆展厅、活动会议等应用领域，创新、高效和可靠的产品在全球拥有广泛的用户群体和极好的口碑。