al

用Haskell编写的Dockerfile语法检查工具，可验证内联bash代码

用于浏览和播放动漫的命令行工具

开源的AWS替代方案。提供弹性计算、块存储（非复制）、防火墙和负载均衡器、托管Postgres、K8s、AI推理和IAM服务。

Redpanda：面向开发者的流数据平台，兼容Kafka API，性能提升10倍，无需ZooKeeper，无需JVM

🔥 基于 Lua 的跨平台构建工具

面向容器镜像与文件系统的漏洞扫描工具

基于现代C++的通用任务并行编程系统

RT-Thread 是一款开源的物联网实时操作系统（RTOS）。https://rt-thread.github.io/rt-thread/

一体化邮件与协作服务器。安全、可扩展且完美支持所有协议（IMAP、JMAP、SMTP、CalDAV、CardDAV、WebDAV）

一个扩展表格，可与多种主流CSS框架集成。

专为SaaS和AI应用构建的身份验证与授权基础设施，基于OIDC和OAuth 2.1协议，支持多租户、单点登录和基于角色的访问控制。

数据与 AI 技术栈的元数据平台

Garnet 是微软研究院开发的远程缓存存储系统，提供卓越性能（吞吐量与延迟）、可扩展性、存储、恢复、集群分片、键迁移及复制功能。Garnet 兼容现有 Redis 客户端。

基于神经网络文本生成的无监督文本分词器

PLANKA 是适用于所有人的看板式项目精研工具。

OpenRefine 是一款免费开源的强大工具，用于处理杂乱数据并实现数据质量提升

深入探索此代码库，这是一个涵盖数据结构、算法、Love Babbar的450道DSA题、Striver的DSA清单、Apna College的DSA清单以及FAANG面试题的全面资源！🚀不仅如此！我们还准备了操作系统、数据库管理系统、SQL、计算机网络和面向对象编程等技术科目，静待你的探索。

AI交易操作系统：集成多AI引擎与多交易所的交易基础设施，配备策略工作室。

适用于 Go 的简单 HTTP、REST 和 SSE 客户端库

全球最快的开源查询引擎，为数据湖仓内外提供亚秒级分析能力。StarRocks凭借卓越的灵活性支持几乎所有场景，在多维分析、实时分析和即席查询领域提供顶尖性能。该项目隶属于Linux基金会。

适用于 Android 的 YouTube 替代前端

开源的DocuSign替代方案，可创建、填写和签署数字文档✍️

Bartosz Milewski《程序员范畴论》非官方PDF与LaTeX源码

基于新一代Kaldi与onnxruntime的离线语音转文字、文字转语音、说话人日志、语音增强、源分离及语音活动检测技术。支持嵌入式系统、Android、iOS、HarmonyOS、树莓派、RISC-V架构、x86_64服务器、WebSocket服务端/客户端，兼容12种编程语言。