-
Tempo JSON 渲染引擎
Tempo 是一个简单、直观的JavaScript 渲染引擎,使你能够以纯 HTML 格式制作数据模板。 使用JSON作为数据源时经常是会在JS中解析JSON,然后拼成HTML呈现数据。而 Tempo 可以实现 HTML 与 JavaScript 的完全分离,……
-
SHOGUN 机器学习工具箱
SHOGUN是一个机器学习工具箱,其重点是在大尺度上的内核的方法,特别是支持向量机(SVM)的学习工具箱。它提供了一个通用的SVM对象接口连接到几个不同的SVM的实现中,所有相同的底层,高效的内核实现利用。除了支……
-
WizNote 为知笔记跨平台客户端
WizNote,为知笔记跨平台客户端。是一款免费软件:您可对它进行重新分配,或根据免费软件基金会(Free Software Foundation)发布的 GNU 通用公共许可证(GNU General Public License)进行修改,第3版或其他版的……
-
SMACK 软件验证工具链
SMACK即是一个模块化的软件验证工具链,又是一个独立的软件验证工具。它可以被用于验证输入程序里的断言。默认模式下SMACK对断言的验证是有对循环/递归的上限。同时,SMACK实现了对无上限的验证的初步支持。SMACK……
-
Harmonai:音频生成开源工具 让每个人都可以轻松制作音乐
Harmonai,由Stability AI Lab支持的开源项目,致力于让音乐制作变得更加容易和有趣。该模型利用先进的AI算法,可以生成定制的无限音乐库,为用户提供高品质、创新性的音乐资源,让用户可以轻松地创作多元化的音乐……
-
gmq 基于 golang 和 redis 实现的简易队列
1. 概述 gmq是基于redis提供的特性,使用go语言开发的一个简单易用的队列;关于 redis 使用特性可以参考之前本人写过一篇很简陋的文章Redis 实现队列;gmq的灵感和设计是基于有赞延迟队列设计,文章内容清晰而且很……
-
Roses 基于 Spring Boot 的分布式和服务化解决方案
Roses基于Spring Boot, 是开源项目Guns的升级版本,致力做更简洁的分布式和服务化解决方案,Roses提供基于Spring Cloud的分布式框架,整合了springmvc + mybatis-plus + eureka + zuul + feign + ribbon + hystrix……
-
VisIt 图形化科学数据分析工具
VisIt 是一种交互式并行可视化访问和图形的分析工具,用来查看科学数据。用户可以从他们能快速生成可视化数据,随着时间而动态显示,操纵他们,保存用来展现的结果图像。Visit含有丰富套可视化功能,以便你可以各种不同……
-
Meta2d.js 可视化在线绘图引擎
乐吾乐 Le5le Meta2d.js是一个实时数据响应和交互的2d引擎,可用于Web组态,物联网,数字孪生等场景。。 在线使用 在线使用 为什么使用 新引擎 数据+ 算法 + 风格 = 栩栩如生; 数据为核心、数据驱动显示; 多状……
-
Pony Actor 模型编程语言
Pony 是一个面向对象的基于 Actor 模型的安全而且高性能的编程语言。Pony 提供 Sublime 和 Atom 编辑插件,同时很快将提供 vim 和 Visual Studio 支持。可使用 LLDB 和 GDB 进行调试。 Pony 兼容 C 程序,其编译器……