Linux 基金会宣布成立 TLA+ 语言基金会
Linux 基金会宣布正式成立 TLA+ 基金会 (TLAF)。致力于促进 TLA+ 规范语言在工业界、学术界和教育界的推广应用，推进软件工程中的数学思维，扩大其用途并促进繁荣的 TLA+ 社区，鼓励…
开源库存管理系统-InvenTree
InvenTree 是一款开源的轻量级库存管理系统，提供基本的库存控制和零件跟踪功能。系统的核心为 Python/Django 数据库后端，前台提供基于 Web管理界面以及用于与外部界面和应用程序交互…
JSON数据可视化开源工具-JSON Crack
JSON Crack是一款开源的JSON可视化应用程序，可以探索、分析和理解最复杂的 JSON 结构。不是简单的展示 JSON 数据,而是将其转化为类似思维导图的形式,支持放大/缩小、展开/收缩、搜索…
GOTC2023开源技术峰会上海5月举办
全球开源技术峰会（Global Open-source Technology Conference），简称 GOTC，是由开放原子开源基金会、 Linux 基金会亚太区、上海浦东软件园和开源中国联合发…
图片拼接马赛克图像-Tiler
Tiler是一款马赛克镶嵌画制作工具 。基于Python 开发， 遵守MIT开源协议。Tiler 制作的镶嵌画可以适应不同形状和大小的图块（不限于方块）。 使用方法： 图片放到images 目录下。 …