MiniLisp 是个用 1000 行 C 语言写的 Lisp 解释器，其支持： 整数、符号、cons 单元格 全局变量 局部变量 原始函数，例如 +、=、< 或list， 用户定义的函数 宏观...

Next Generation Shell (NGS) 是一种现代编程语言，专注于系统工程。 NGS 是一个借鉴了其他语言精选功能和原创功能的独特组合。NGS 是以日常系统工程任务为中心从头开始...

Zelda-OOT 是 Zelda 逆向工程团队(Zelda Reverse Engineering Team, zeldaret) 对任天堂游戏《塞尔达传说时之笛》的完整反编译，将可执行的 R...

Liquid-dsp 是一个用于软件定义无线电的开源数字信号处理（DSP）库，专门为嵌入式平台上的软件定义无线电设计。 其目的是提供一个轻量级的 DSP 库，不依赖无数的外部依赖性或专有的和其他...

SDR++ 是一个跨平台和开源的 SDR 软件，其目标是不臃肿且易于使用。 特性： 广泛的硬件支持（通过 SoapySDR 和专用模块） SIMD 加速 DSP 跨平台（Windows、Linu...

Lagrange 是一个用于浏览 Geminispace 的桌面 GUI 客户端。它提供了网络浏览器所熟悉的现代便利，如平滑滚动、内联图像浏览、多标签、视觉主题、Unicode、书签、历史和页面...

Hardcoder 是一套 Android APP 与系统间的通信解决方案，突破了 APP 只能调用系统标准 API，无法直接调用系统底层硬件资源的问题，让 Android APP 和系统能实时...

Build→It 是一个轻量级的基于类型的 C++ Multi-stage programming 框架。可以让你在几乎不了解编译器的情况下轻松实现领域特定语言（domain-specific ...

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 开发。 该项目包括树侧：控制端/服务器端，呈现端，客户端。 控制/服务器端：由管理员操作，以控制将在演示端显示的内容并处理比赛。 此侧直...