ci

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

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

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

PingCastle - 用20%的时间达成80%的Active Directory安全评估

机器学习笔头练习

Compose 规范

GeoAI：面向地理空间数据的人工智能

Unreal Engine 归档文件浏览器

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

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

本项目旨在修复或解决《侠盗猎车手IV：完整版》中的部分问题

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

Rust语言的OpenTelemetry实现

🔥 基于 Vue 3 + Vite 6 + TypeScript + Element Plus 构建的后台管理系统前端模板（配套后端源码），Vue-Element-Admin 的 Vue 3 版本。

Drush 是 Drupal 的命令行外壳与脚本接口，堪称瑞士军刀，专为长期在命令提示符下工作的开发者提升效率而设计

用于志愿计算和网格计算的开源软件

SparkyFitness：为家庭打造，由人工智能驱动。共同追踪饮食、健身、饮水和健康数据。

Marktechpost教程配套Notebook

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

Markdown架构决策记录

Apache Fineract

Fladder - 基于Flutter构建的简约Jellyfin前端。

Build LLM-powered applications in Ruby

一套用于自动化软件合规性检查的工具集