-
Swan 开源php博客程序
Swan是一个基于PHP和MySql的开源个人博客平台， 程序在GPL Version 2许可下发行，用户可以免费下载使用和修改传播。 这 个项目的灵感来自作者对wp的不满，因为作者认为在臃肿累赘的系统中使用单一的一些功能是很不……
-
Pyre Python 类型检查工具
Pyre 是一个快速、可扩展和高性能的 Python 类型检查工具，适用于大型的Python 3 代码库，旨在通过在终端或编辑器中以交互方式标记类型错误来帮助提高代码质量和开发速度。 Pyre 随附了 Pysa，这是基于Pyre 构建的……
-
SMACK 软件验证工具链
SMACK即是一个模块化的软件验证工具链，又是一个独立的软件验证工具。它可以被用于验证输入程序里的断言。默认模式下SMACK对断言的验证是有对循环/递归的上限。同时，SMACK实现了对无上限的验证的初步支持。SMACK……
-
JM 轻量级高性能移动web框架
JM(Javascript Mobile Framework) 是新一代轻量级高性能移动web框架，由腾讯前端团队AlloyTeam经项目实践积累沉淀而成。为拥抱移动互联网全新设计，专注为移动web项目，整个框架压缩后只有36K。 新的移动平台，给w……
-
mui 移动HTML5前端框架
性能和体验的差距，一直是mobile app开发者放弃HTML5的首要原因。 浏览器天生的切页白屏、不忍直视的转页动画、浮动元素的抖动、无法流畅下拉刷新等问题，这些都让HTML5开发者倍感挫败，尤其拿到Android低端机运行……
-
Erik 基于 WebKit 的无界面浏览器
Erik是一款基于WebKit的无界面浏览器，可用于功能函数的测试，使用JavaScript对网页进行操作访问。 示例（使用Google搜索）： leturl=NSURL(string:"https://www.google.com")!letvalue="ErikThePhantomofOpera"//……
-
ccflow 驰骋工作流引擎
开源的驰骋工作流引擎简介 驰骋工作流引擎研发与2003年，具有.net与java两个版本，它们代码结构、数据库结构、设计思想、功能组成、操作手册完全相同。流程表单模版两个版本完全通用。 CCFlow是.net版本的简称，由……
-
VisIt 图形化科学数据分析工具
VisIt 是一种交互式并行可视化访问和图形的分析工具,用来查看科学数据。用户可以从他们能快速生成可视化数据,随着时间而动态显示,操纵他们,保存用来展现的结果图像。Visit含有丰富套可视化功能,以便你可以各种不同……
-
Meta2d.js 可视化在线绘图引擎
乐吾乐 Le5le Meta2d.js是一个实时数据响应和交互的2d引擎，可用于Web组态，物联网，数字孪生等场景。。 在线使用 在线使用 为什么使用 新引擎 数据+ 算法 + 风格 = 栩栩如生； 数据为核心、数据驱动显示； 多状……
-
Pony Actor 模型编程语言
Pony 是一个面向对象的基于 Actor 模型的安全而且高性能的编程语言。Pony 提供 Sublime 和 Atom 编辑插件，同时很快将提供 vim 和 Visual Studio 支持。可使用 LLDB 和 GDB 进行调试。 Pony 兼容 C 程序，其编译器……
