-
frp 内网穿透工具
内网穿透,也即 NAT 穿透,进行 NAT 穿透是为了使具有某一个特定源 IP 地址和源端口号的数据包不被 NAT 设备屏蔽而正确路由到内网主机。下面就相互通信的主机在网络中与 NAT 设备的相对位置介绍内网穿透方法。目前……
-
Notesnook开源、端对端加密记事应用
Notesnook是一款开源、端对端加密(使用XChaCha20-Poly1305和Argon2)的免费记事应用,注重用户隐私和易用性。它提供个人隐私保护、知识管理和跨平台协作的功能,适合有隐私需求、知识整理和团队协作需求的用户。通……
-
Curio Python 协程库
Curio 是 Python 第三方实现的协程库。Python 的并发编程 async/await 是一套接口,允许第三方实现,官方的实现是标准库asyncio。Curio相比官方的 asyncio 使用起来更简单直观一些。 tcp echo server例子: fromcu……
-
MQTT 消息传输协议
MQ 遥测传输 (MQTT) 是轻量级基于代理的发布/订阅的消息传输协议,设计思想是开放、简单、轻量、易于实现。这些特点使它适用于受限环境。例如,但不仅限于此: 网络代价昂贵,带宽低、不可靠。 在嵌入设备中运行,……
-
Pyre Python 类型检查工具
Pyre 是一个快速、可扩展和高性能的 Python 类型检查工具,适用于大型的Python 3 代码库,旨在通过在终端或编辑器中以交互方式标记类型错误来帮助提高代码质量和开发速度。 Pyre 随附了 Pysa,这是基于Pyre 构建的……
-
DEEP 数字企业端到端平台
DEEP(Digital Enterprise End-to-end Platform)是由 AWS 支持的成本低,维护成本低的数字化平台。帮助企业开发人员提高工作效率。 使用DEEP Framework,开发人员可以立即使用: 简化的“类似于生产”的开发环境 使……
-
Webots 开源机器人模拟器
Webots 是用于模拟机器人的开放源代码和多平台桌面应用程序。它提供了一个完整的开发环境来对机器人进行建模,编程和仿真。 它被设计用于专业用途,并且广泛用于工业,教育和研究。自1998年以来,Cyberbotics Lt……
-
VisIt 图形化科学数据分析工具
VisIt 是一种交互式并行可视化访问和图形的分析工具,用来查看科学数据。用户可以从他们能快速生成可视化数据,随着时间而动态显示,操纵他们,保存用来展现的结果图像。Visit含有丰富套可视化功能,以便你可以各种不同……
-
Meta2d.js 可视化在线绘图引擎
乐吾乐 Le5le Meta2d.js是一个实时数据响应和交互的2d引擎,可用于Web组态,物联网,数字孪生等场景。。 在线使用 在线使用 为什么使用 新引擎 数据+ 算法 + 风格 = 栩栩如生; 数据为核心、数据驱动显示; 多状……
-
Pony Actor 模型编程语言
Pony 是一个面向对象的基于 Actor 模型的安全而且高性能的编程语言。Pony 提供 Sublime 和 Atom 编辑插件,同时很快将提供 vim 和 Visual Studio 支持。可使用 LLDB 和 GDB 进行调试。 Pony 兼容 C 程序,其编译器……