搜索结果：c（5598 个）

Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。

基于 Telegram Bot 的文件上传、分享、图床与网盘系统。

Apache Texera 是一款面向人机协同数据科学的可视化工作流平台，解决复杂数据分析门槛高及协作难的问题。它通过直观 GUI 让用户构建分析流程，并结合能理解自然语言的 AI Agent 辅助任务。核心功能包括工作流实时协作编辑、运行时调试、多语言原生支持（Python/Java）以及支持云端扩展的并行大数据处理引擎。

支持对接多种存储提供商的开源自托管网盘与文件共享系统。

功能丰富的现代化电子书阅读器，支持跨平台与直观的阅读体验。

用 Python 实现的基础数据结构与经典算法极简代码示例集合。

主打快速开发与高效运行的 Python Web 应用框架。

简单易用的 Node.js 邮件发送工具库。

功能完善的 Flutter 版 GitHub 客户端，适合跨平台开发学习与日常使用。

支持自托管的 HTML5 测速工具，部署简单、配置灵活且适配移动端，支持 PHP、Node 和多服务器模式。

现代化的 Aria2 Web 前端，提供友好的图形界面让 aria2 更易上手。

支持本地音乐、Navidrome 及流媒体的多平台播放器，主打炫丽歌词动画。

一个对协作友好的 NeRF（神经辐射场）开发平台。

基于 Node.js 和 W3C WebDriver API 的一体化端到端自动化测试框架。

面向多模态 AI 的开源嵌入式检索库，对开发者友好，检索高效易维护。

Ogma 是面向飞行器和机器人系统的运行时监控器生成工具，解决安全监控难以集成到外部系统的难题。它基于 Copilot，可为 NASA cFS、ROS 和 F' 生成监控应用或组件，支持从 Graphviz、Mermaid 等图表生成监控器，并自动生成 C 结构体胶水代码。

支持现代浏览器与触控设备的拖拽排序列表库，无需 jQuery 或任何框架依赖。

开箱即用的分布式任务队列系统（此为开发分支）。

构建可交付生产级用户的高可用 LLM 软件的设计原则与规范指南。

Redux 的官方 React 绑定库。