搜索结果：c（830 个）
按分类缩小范围
laravel （PHP Web 应用框架）
综合 53
语法优雅简洁的 Web 应用框架，帮助开发者省去底层琐事、专注业务构建。
spark-excel
综合 53
spark-excel 是一个专为 Apache Spark 打造的插件，主要解决 Spark 原生不支持直接读写 Excel 文件的痛点。它能将 Excel 表格解析为 Spark DataFrame，支持指定单元格区域、表头及数据类型推断；其 V2 版本还支持多文件加载与损坏记录处理。
rzk
综合 53
〔中文简介暂未生成〕 An experimental proof assistant based on a type theory for synthetic ∞-categories.
union （零知识证明跨链桥协议）
综合 53
面向去中心化金融、抗审查且高安全性的最小化信任零知识证明跨链桥协议。
appsmith
综合 53
用于快速搭建管理后台、内部工具和仪表盘的平台，支持连接 25+ 种数据库和各类 API。
liquidhaskell
综合 53
LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。
open-design （协作式AI设计工作台）
综合 53
本地优先的开源 AI 协同设计工作区，支持与团队及 AI Agent 一起创建动效、原型、网站、应用和多媒体内容。
freellmapi
综合 53
整合多平台免费端点的 LLM 聚合网关，兼容 OpenAI 格式并支持智能故障转移。
json4s
综合 53
〔中文简介暂未生成〕 JSON library
hydradb
综合 53
基于对象存储的高性能图数据库。
trackerslist
综合 53
持续同步更新的公共 BitTorrent Tracker 列表。
umami （隐私优先的网站分析平台）
综合 53
Umami 是注重隐私的网站与产品分析平台，不依赖 Cookie，支持自托管或云端部署，帮你一站式统计流量、行为与转化数据。
QwenPaw
综合 53
个人 AI 助手，安装简便，支持本地或云端部署，适配多款聊天应用且功能易扩展。
NVActivityIndicatorView
综合 53
精美的加载动画效果集合组件库。
interview
综合 53
全面的 C/C++ 技术面试基础知识与求职经验总结。
vConsole
综合 53
专为移动端 Web 页面打造的轻量、可扩展前端开发者调试工具。
PeerBanHelper
综合 53
自动封禁吸血和异常客户端的 BT 工具，支持自定义与云端规则。
mobile_scanner
综合 53
通用 Flutter 条码与二维码扫描插件，支持 Android、iOS、macOS 及 Web。
ArkhamHorror
综合 53
ArkhamHorror 是一款非官方的《诡镇奇谈：卡牌版》（LCG）网页端游戏实现。它严格还原实体桌游规则，支持最多 4 人联机或单人游玩；支持从 ArkhamDB 等站点导入牌组，内置大量官方战役与社区自制内容，并提供预构建包和 Docker 一键部署。
专注于图像处理的深度学习开源项目，涵盖图像分类、目标检测等核心领域与实践。