EpicFV 是面向 Verilog 的形式化验证工具，目前支持在 Linux 系统上运行。 Features 业界首款开源形式验证工具 分布式计算/并行计算加速验证收敛 自动调度引擎，降低形式...

这是 Stellarium 的安卓版本。 早年的Stellarium mobile和Stellarium 电脑版的核心代码是同一套的，然而Stellarium mobile 的代码已经比如今的电...

KeePassXC 是由 KeePass 密码管理器的一个分支发展而来的，相比原版 KeePass，KeePassXC 除了适配 Windows，还适配了 Linux 和 macOS。 通过 K...

该软件为PostgreSQL的扩展软件，为PostgreSQL创建空间优化的非稀疏位图（以下称bitmap）类型。 一个bitmap是一组比特（bit）的集合，通过整数索引。pgbitmap软件...

Raspberry Pi 的 VK 驱动程序（Broadcom Videocore IV）。 RPi-VK-Driver 是 Broadcom Videocore IV GPU 的低级 GPU ...

Dexbox 是一个基于 C 语言的轻量级 dex 文件解析库。 如果你想要了解更多，请参考： 在线文档 项目主页 Github Gitee 准备工作 我们需要先安装 xmake 来编译此项目。...

EmbedXrpc 类似于 Google 的 GRPC，但是应用场景是单片机。RPC 远程调用极大的方便了开发，使得不必关注于协议解析，数据的序列化和反序列化等繁琐的工作。 所用技术：C#做 I...

Sandboxie 是用于 32 位和 64 位 Windows NT 操作系统的基于沙盒的隔离软件。 它是由 Sophos 开发（Sophos 从 Invincea 那里收购了它，Invinc...

sqleet 是 SQLite3 的加密扩展。加密是透明的（即时的），基于现代加密算法，旨在为软件提供高性能和强大的旁通道抵抗性。sqleet 的编译很容易，因为它没有外部依赖关系，从而简化了交...

Pudron 是一款解释性编程语言，简单易学，可用于高效开发，可拓展性强。 主要特点 代码格式简洁、美观、人性化 支持多种编程方法，如面向对象、面向过程等 可拓展性强，使用动态链接库来拓展 Pu...

Anakin 是一款跨平台的高性能推理引擎，最初是由百度工程师开发的，是工业产品的大规模应用。您可以在 x86-cpu、arm、nv-gpu、amd-gpu、bitmain 和 cambrico...

DwScore是一个演讲比赛评委打分系统，使用 Qt 5 开发。 该项目包括树侧：控制端/服务器端，呈现端，客户端。 控制/服务器端：由管理员操作，以控制将在演示端显示的内容并处理比赛。 此侧直...

pg_lightool是一个PostgreSQL数据坏块修复工具。一般情况下，如果想要修复PostgresSQL的数据坏块需要执行PITR，但是在数据库体量巨大的情况下，这需要花费很长的时间。使...

WalMiner是XlogMiner的升级版，它可以从PostgreSQL的WAL(write ahead logs)日志中解析出执行的SQL语句的工具，并能生成出对应的undo SQL语句。W...

Ring 是一种创新且实用的通用多范式语言。支持命令式、过程式、面向对象、函数式、元编程、使用嵌套结构的声明式编程以及自然编程。Ring 可移植，支持 Windows、Linux、macOS 与...

Differential Privacy 是一个差异隐私库。该项目包含了 ε-差异隐私算法的 C++ 库，可用于生成包含私有或敏感信息的数字数据集的聚合统计信息。此外还提供了一个随机测试器来检查...

C++ 实现的 Side-window filter 算法（CVPR2019），无需依赖额外的库，可以在 Linux 平台和 Android 平台上编译。

GAAS (Generalized Autonomy Aviation System) 是一套开源的无人机自主飞行软件平台。GAAS 致力于为无人机智能应用提供一个泛用的开发架构，以此加速自动驾...

Dumpert，一个使用直接系统调用和API解除连接的LSASS内存转储器 最近的恶意软件研究表明，使用直接系统调用来逃避安全产品使用的用户模式API挂钩的恶意软件数量有所增加。 这些工具演示了...

Serenity 是一个图形化的类 Unix 的操作系统，主要适用于 x86 计算机。 特性： 抢占式多任务 多线程 合成窗口服务器 IPv4 网络支持 ARP, TCP, UDP 和 ICMP...