orm

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

适用于 Parse 平台的苹果 SDK（iOS、macOS、watchOS、tvOS）

动手学习大模型

🚀 使用 JavaScript 与 TypeScript 构建的原生 iOS 和 Android 应用

2 美元 ESP32-C3（无 PSRAM）上的 Pi-hole 级 DNS 广告拦截器：537k 域作为闪存中的 40 位 FNV-1a 哈希值，进行二进制搜索。 UDP DNS 污水坑 + Web 仪表板。 https://youtube.com/shorts/RaxszOUMi8E?feature=share

一个用于视觉惯性导航研究的开源平台。

专为Flowbite和Tailwind CSS构建的官方Svelte组件库

DeepSeek Harness 的第一个视觉插件，以及每个纯文本编码代理的视觉桥。粘贴图像，获取结构化 JSON 证据（OCR、布局、语义）。 | 全网第一个 DeepSeek Harness 视觉插件，为 DeepSeek、GLM 等纯文本模型外挂视觉能力，粘贴图片即得格式化 JSON 证据（OCR、版面、语义）。

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

一款面向新手与专业人士的免费开源跨平台Git客户端

TradeMaster是一个基于强化学习的开源量化交易平台

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

👾 开放计算机使用 – Codex 计算机使用的开源替代方案

录制您的屏幕，发送演示。免费开源、GPU 加速、无水印、无需订阅。 Windows、macOS、Linux。积极维护。

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

💻构建一套代码库，即可在Windows、Linux及Web平台上获得原生UI体验 （注：严格遵循技术翻译准则，采用"代码库"对应"codebase"，"原生UI"对应"native UI"，并保持原文的简洁技术风格。平台名称按行业标准保留英文大写格式，使用"及"连接多平台体现技术文档的严谨性。）

🎓 系统性大语言模型构建课程｜🛠️ 覆盖预训练数据工程、分词器、Transformer、混合专家模型、GPU编程、分布式训练、缩放定律、推理优化及对齐技术｜🚀 6个渐进式作业结合代码实践，构建大语言模型全栈知识体系

API Platform 的服务端组件：快速构建超媒体与 GraphQL API

面向Windows、Linux和Mac的开源、非托管、隐私保护的比特币钱包

以第90号放射性元素命名的Windows版Chromium分支；源自https://github.com/Alex313031/Thorium的Windows构建版本

本土、开源的自进化跨平台AI内容发现代理：先理解你，再主动从B站、小红书、抖音、YouTube、X、知乎、Reddit、微博等平台与开放Web寻找内容。（支持deepseekharness插件） |本地优先开源跨平台AI内容发现代理：了解您，然后主动在Bilibili、小红书、抖音、YouTube、X、知乎、Reddit、微博和开放网络上查找内容。（支持deepseekharness插件）

Background blurring for Compose Multiplatform / Jetpack Compose

Terraform最佳实践免费电子书，已翻译成🇬🇧🇦🇪🇧🇦🇧🇷🇫🇷🇬🇪🇩🇪🇬🇷🇮🇱🇮🇳🇮🇩🇮🇹🇯🇵🇰🇷🇵🇱🇷🇴🇨🇳🇪🇸🇹🇷🇺🇦🇵🇰

Zerocopy让零成本内存操作变得轻而易举。我们编写`unsafe`代码，这样您就不必了。