加载中

TPU-MLIR - TPU 编译器

TPU-MLIR 是一个专注于 AI 芯片的 TPU 编译器开源工程,提供了一套完整的工具链,可以将不同框架下预训练过的深度学习模型,转化为可以在 TPU 上运行的二进制文件 bmodel,从而...

收藏 9
更新于 2022/08/16

HVML - 可编程标记语言

HVML 即Hybrid Virtual Markup Language,能够让熟悉 C/C++ 或其他编程语言的开发者可以通过 HVML 使用 Web 前端技术(如 HTML/SVG/Math...

收藏 12
更新于 2022/08/08
HVML

凹语言 - 专注于WASM平台的通用语言

凹语言?(凹读音“Wa”)是国内 Go 开发者设计的实验性编程语言。 设计目标 披着 Go 和 Rust 语法外衣的 C++ 语言; 凹语言?源码文件后缀为 .wa; 凹语言?编译器兼容 WaG...

收藏 11
更新于 2022/09/16
凹语言

腾讯柠檬清理

腾讯柠檬清理是针对 macOS 系统专属制定的清理工具。主要功能包括重复文件和相似照片的识别、软件的定制化垃圾扫描、可视化的全盘空间分析、内存释放、浏览器隐私清理以及设备实时状态的监控等。重点聚...

收藏 15
更新于 2022/07/27

Carbon Lang - C++ 继任语言

Carbon 自称是“下一代 C++” (An experimental successor to C++),目前由谷歌开发和维护。 特性 Introducer 关键字和简单语法 函数输入参数为...

收藏 15
更新于 2022/07/27

Salus - 微软开源的 SBOM 工具

Salus 是一个 SBOM(Software Bill of Materials,软件物料清单)工具,是一种高度可扩展且企业就绪的工具,可以为各种工件创建与 SPDX 2.2 兼容的 SBOM...

收藏 11
更新于 2022/07/30

FFmpeg.wasm - FFmpeg 的 WebAssembly 移植

ffmpeg.wasm 是纯 WebAssembly / JavaScript 实现的 FFmpeg 移植。它可以在浏览器中进行视频和音频录制、转换和流式传输。 AVI to MP4 Demo ...

收藏 46
FFmpeg.wasm

Tantivy - 全文搜索引擎库

Tantivy 是一个用 Rust 编写的搜索引擎库,其灵感来自于 Lucene。 得益于 Rust 语言加持,Tantivy 性能比 Lucene 要好得多 主要特性: 全文搜索 可配置的分词...

收藏 25

PDManer[元数建模]

PDManer元数建模,是一款多操作系统开源免费的桌面版关系数据库模型建模工具,相对于PowerDesigner,他具备界面简洁美观,操作简单,上手容易等特点。支持Windows,Mac,Lin...

收藏 79
更新于 2022/09/17

kLoop - Python asyncio 事件循环

kLoop 是一个 Python asyncio 事件循环的实现,主要用 Cython 编写,重点使用了 Linux 内核的 io_uring 和 kTLS 功能,故称作 k(ernel)Loo...

收藏 10
更新于 2022/06/14
kLoop

Tauri - 用 Web 前端构建更小/快/安全的桌面应用程序

Tauri 是一个框架,用于为所有主要桌面平台构建小巧、快速的二进制文件。开发人员可以集成任何可编译为 HTML、JS 和 CSS 的前端框架,以构建他们的用户界面。应用程序的后端是一个基于 R...

收藏 49
更新于 2022/06/20
Tauri

eSearch - 识屏搜索工具

eSearch 可以在 Linux 上(win 和 mac 上也能用)实现手机识屏这样的屏幕搜索功能,当然也是一款方便的截屏软件。 即 截屏+OCR+搜索+贴图+以图搜图。 截屏功能支持窗口和控...

收藏 63
更新于 2022/08/28
eSearch

Archttp - D 语言轻量级 HTTP 框架

Archttp 是一个轻量级易于使用的 http 框架,易用性堪比 ExpressJS,性能可比肩基于 Golang 开发的 Fasthttp 框架。 示例代码: import archttp...

收藏 19
更新于 2022/05/26

SMACK - 软件验证工具链

SMACK即是一个模块化的软件验证工具链,又是一个独立的软件验证工具。它可以被用于验证输入程序里的断言。默认模式下SMACK对断言的验证是有对循环/递归的上限。同时,SMACK实现了对无上限的验...

收藏 6

Beremiz - PLC 集成开发环境

Beremiz 是一个用于机械自动化的 PLC 集成开发环境(IDE),符合 IEC61131-3 编程语言标准,可将任何处理器变成 PLC。Beremiz 还包含用于创建 HMI 并将 PLC...

收藏 33
更新于 2022/03/31
开源软件作者
虾婆 作者
musicPlayer 作者

OpenPLC - 标准化开源 PLC

OpenPLC 是一个功能齐全的标准化开源 PLC,无论是软件还是硬件,其诞生之初的重点是为自动化和相关研究提供低成本的工业解决方案,现被广泛用于工业网络安全研究的框架。 OpenPLC 由三部...

收藏 56
更新于 2022/03/15
OpenPLC

Apache PLC4X - 工业物联网通用协议适配器

Apache PLC4X 是一个工业物联网通用协议适配器,PLC4X 是一组库,用于使用各种协议与工业可编程逻辑控制器 (PLC) 进行通信,但这些协议具有共享的 API。 工业的可编程逻辑控制...

收藏 71
更新于 2022/03/21
Apache PLC4X

Antares SQL - 数据库管理工具

Antares SQL 是一个开源的简单但是功能齐备的数据库管理工具,支持多种数据库(MySQL/MariaDB, PostgreSQL 和 SQLite)。 主要特点: 支持同时连接多个数据库...

收藏 62
更新于 2022/02/13

TiFlash - TiDB 的分析引擎

TiFlash 是 TiDB 的组件。它主要在 TiDB 的混合事务/分析处理(HTAP)架构中扮演分析处理(AP)的角色。 TiFlash 通过 Raft logs 实时同步 TiKV 的数据...

收藏 14
更新于 2022/04/13

Dory-Engine - 简单的应用上云引擎

Dory-Engine 是一个简单得非常吓人的应用上云引擎 DORY = DevOps Orechstration YML,一种DevOps编排定义语言DSL的简称。 应用开发者无需掌握复杂的D...

收藏 44
更新于 2022/01/16
Dory-Engine

没有更多内容

加载失败,请刷新页面

返回顶部
顶部