-
TiKV 分布式事务 Key-Value 数据库
TiKV 是一个开源的分布式事务 Key-Value 数据库，支持跨行 ACID 事务，同时实现了自动水平伸缩、数据强一致性、跨数据中心高可用和云原生等重要特性。作为一个基础组件，TiKV 可作为构建其它系统的基石。目前，TiK……
-
hole 内网穿透实现
hole 服务能够用来实现内网穿透。 在其他地方想要访问家里的 raspberry pi, 通常是要在路由器上设置端口转发，然后绑定个动态域名。万一这个路由器不是自己的，自己没有任何权限，这样子就束手无策了。 不过也是有……
-
CRMEB 微信商城小程序商城系统
码云开源项目php语言排名前三的开源GVP项目！ CRMEB打通版是一款全开源支持免费商用的PHP单商户商城系统； CRMEB技术团队（官网：www.crmeb.com)历经4年时间匠心之作！系统采用前后端分离技术，基于TP6+Uni-app框……
-
notty 虚拟终端
notty 是个类似 xterm，GNOME-vte，sh 和 rxvt 的终端模拟器。跟那些程序不一样的地方是，notty 不是为了模拟一个 DEC VT 系列的物理视频终端，或者是其他物理设备，而是为其他终端无法模拟的物理终端命令行添加新……
-
Sunfish 国际象棋引擎
Sunfish是一个简单但强大的国际象棋引擎，用Python编写，主要用于教学目的。 没有表格及其简单的界面，它只需要111行代码！ 由于Sunfish很小并且力求简单，因此代码为实验提供了一个很好的平台。 人们已经用它来测……
-
Ceylon JVM 上的新语言
Ceylon面向企业级应用开发设计，在JVM运行时基础上执行，支持与Java的交互操作。Ceylon语言充分借鉴了Java语言的优势并屏蔽其在设计上的不足，使用静态类型并提供高阶函数支持，在保持代码良好可读性的同时进一步……
-
JPcsp PSP模拟器
PSP模拟器 JPcsp 是一个基于Java的开源PSP模拟器，经过5个月的持续开发，目前推出了0.1版，这是第一个官方正式版本。 这个版本支持了更多的游戏模拟，当然目前并不是所有的游戏都支持，不过还会不断的进行完善。
-
VisIt 图形化科学数据分析工具
VisIt 是一种交互式并行可视化访问和图形的分析工具,用来查看科学数据。用户可以从他们能快速生成可视化数据,随着时间而动态显示,操纵他们,保存用来展现的结果图像。Visit含有丰富套可视化功能,以便你可以各种不同……
-
Meta2d.js 可视化在线绘图引擎
乐吾乐 Le5le Meta2d.js是一个实时数据响应和交互的2d引擎，可用于Web组态，物联网，数字孪生等场景。。 在线使用 在线使用 为什么使用 新引擎 数据+ 算法 + 风格 = 栩栩如生； 数据为核心、数据驱动显示； 多状……
-
Pony Actor 模型编程语言
Pony 是一个面向对象的基于 Actor 模型的安全而且高性能的编程语言。Pony 提供 Sublime 和 Atom 编辑插件，同时很快将提供 vim 和 Visual Studio 支持。可使用 LLDB 和 GDB 进行调试。 Pony 兼容 C 程序，其编译器……
