搜索结果：c（334 个）

冰霜之地技术博客，包含深度源码解析、系统设计与工程实践笔记。

按需提供云端开发环境的开发者平台，助你更快、更安全地交付软件。

在 VSCode 中美化 TypeScript 报错提示，使其更清晰易读。

基于节点式程序化图形引擎的综合 2D 创作应用，支持平面设计、数字艺术与实时动效制作。

现代化的 Java 字节码编辑器。

基于 Node.js 的快速、简洁且强大的静态博客框架。

高性能、高精度的 Python CPU、GPU 与内存性能分析器，支持 AI 驱动的优化建议。

流行的开源富文本 Web 编辑器，支持 React、Vue 和 Angular。

用于构建浏览器和 IDE 工具的 GraphiQL 与 GraphQL LSP 参考生态。

集成了 AI 能力并基于 shadcn/ui 构建的富文本编辑器。

面向设计工程师（Design Engineer）的 UI 交互与界面设计技能合集。

HTML5 Canvas 2D 框架，支持场景图、事件交互、拖拽动画，适用于编辑器与白板开发。

使用纯 Rust 从零编写的开源 PDF 阅读与编辑器。

分布式事务型 Key-Value 数据库，最初作为 TiDB 的底层存储引擎而开发。

支持复杂表格、表单、手写内容及完整版面分析的 OCR 模型。

基于内容感知的图像缩放库。

用于构建文档编辑器和阅读器的 Flutter 工具包。

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

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

集成 Laravel Blade 模板、Tailwind CSS 并支持区块编辑器的 WordPress 初始主题。