搜索结果：v（239 个）

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

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

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

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

注重性能、界面美观的无损 GPU 加速 RAW 图像编辑器。

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

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

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

面向 WordPress 及更广泛场景的区块编辑器项目，插件可在官方仓库获取。

IntelliJ IDEA 社区版与 IntelliJ Platform 平台源码。

先进的文本嵌入（Embeddings）、信息检索与重排序（Reranking）工具库。

使用纯 Rust 从零编写的开源非破坏性照片编辑器。

基于 TypeScript 实现的现代化云端与桌面端跨平台 IDE 开发框架。

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

在 Android TV 上按自定义规则浏览媒体内容。

通过 Chrome DevTools Protocol 驱动和控制浏览器的快速、轻量方案。

Webpack 插件与 CLI 工具，用交互式可缩放树状图展示打包内容。

轻量高效的工作流与业务流程管理（BPM）平台，面向开发者与业务人员。

现代易用的跨平台数据库 GUI 与 SQL 客户端，支持 MySQL、Postgres、ClickHouse 等。

基于 Web 的可视化图形编程编辑器。