ci

LakeSail的计算框架，其使命是统一批处理、流处理和计算密集型AI工作负载。

wolfSSL库是一个小型、快速、可移植的TLS/SSL实现，适用于从嵌入式设备到云端的各种场景。wolfSSL支持最高TLS 1.3和DTLS 1.3协议！

TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。

OAF(OpenAppFilter)是一款基于OpenWrt的家长控制软件。它支持游戏、视频流、即时消息等流行应用程序，例如 TikTok、YouTube、Facebook。目前，它支持数百种不同的应用程序。

使用PyTorch从零开始逐步实现一个推理大语言模型

包含SCAP、Bash、Ansible及其他格式的安全自动化内容。

Compose 规范

zot - 一个横向扩展、生产就绪、供应商中立的 OCI 原生容器镜像/工件注册表（完全基于 OCI 分发规范）

机器学习笔头练习

自动化评估M365租户状态是否符合CISA基准

用于Apache Beam和Google Cloud Dataflow的Scala API。

🦙 MegaLinter 通过 GitHub Action、其他 CI 工具或本地方式，分析您仓库源代码中的 50 种语言、22 种格式、21 种工具格式、过度复制粘贴、拼写错误及安全问题

海量异构三维地理空间数据流技术规范 🌎

跨平台免费开源可视化与图像计算软件。

Markdown架构决策记录

阿帕奇Fineract

将代码探索中的AI token成本削减95%以上。领先的MCP服务器，通过tree-sitter AST实现精确的符号级GitHub代码检索。兼容Claude Code、Cursor及任何MCP客户端。已节省超过3130亿token。

精简、高效、静态类型且支持元编程的系统编程语言，深受Lua启发，可编译为C语言和原生代码。

本仓库包含一系列从入门级别逐步进阶的Python脚本项目，后续将陆续添加更多代码片段，欢迎克隆此仓库。

全球最智能的全系统语法助手；Apple Intelligence写作工具的增强版。支持Windows、Linux和macOS，可配合免费Gemini API、本地大语言模型等使用。

交互式Go面试平台——提供30余个编程挑战，包含即时反馈、AI面试模拟、竞争性排行榜和自动化测试。从初级到高级，涵盖真实场景。

一款轻量级、无依赖的bash脚本，用于Linux服务器的安全审计、性能评估和基础设施监控。

概率规划的贝叶斯推理。

图灵之路项目书库：可重现、合乎伦理且协作的数据科学实践指南