BookOS操作系统是一个基于xbook2内核的操作系统，可运行在qemu，bochs，virtual box，vmware等虚拟机中。也可以在物理机上面运行（需要有系统支持的驱动才行） （xb...

Circle Linux 由国内开源软件爱好者共同维护的原 CentOS 后继开源社区，与上游 RHEL 版本 100% 兼容。 Circle Linux 是一个开源、共创的 Linux 社区，...

OpenCloudOS 是由 20 余家操作系统、云平台、软硬件厂商与个人共同倡议发起的操作系统社区项目，目标是打造全面中立、开放、安全、稳定易用、高性能的 Linux 服务器操作系统，共建国产...

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

洛书编程语言旨在打造开源、高效、强大的国产中文编程语言。 洛书编程语言 欢迎star watch fork 洛书仓库 简介 洛书·Losu(Language Of Systemed Units)...

openFyde 是由燧炻科技创新（北京）有限责任公司（以下简称燧炻创新）推出的开源操作系统。这是一个更自由、更开放、更友好的 Chromium OS 开源项目，旨在推进 Chromium OS...

yuron_dev 是玉龙编程语言适用于开发者的版本，可用于开发不同环境下的玉龙平台、丰富玉龙功能、促进玉龙编程的进步。 软件架构 详见 玉龙编程语言 安装教程 正确获取源码包; 根据自身系统环...

Flatpak 是一个跨各种 Linux 分发桌面应用程序的框架。 其特点包括： 为每个发行版构建：创建一个应用程序并将其分发到整个 Linux 桌面市场 稳定的平台：运行时提供了可以依赖的通用...

ADIOS2：可适应输入/输出(I/O)系统。ADIOS2 是美国能源部百亿亿次计算项目的一部分。它是科学数据 I/O 的框架，可以在需要的时候和地方发布和订阅数据。 ADIOS2 使用用于所有...

DJI 为支持开发者开发出可挂载在DJI 无人机上的负载设备，提供了Payload SDK（即PSDK）、X-Port 标准云台和SkyPort V2转接环，方便开发者利用DJI 无人机上如电源...

GoodbyeDPI 是一个被动深度包检测拦截器和主动 DPI 规避实用程序。 该软件旨在绕过许多 Internet 服务提供商中的深度包检测系统，这些系统会阻止访问某些网站。 它处理使用分光器...

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 业界首款开源形式验证工具 分布式计算/并行计算加速验证收敛 自动调度引擎，降低形式...