搜索结果：v（240 个）

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

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

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

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

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 开发框架。

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

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

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

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

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

GitBucket 是一款基于 Scala 的开源 Git 代码托管平台，旨在为开发者提供易安装、轻量级的私有 Git 服务。它兼容 GitHub API，只需 Java 即可运行；核心功能涵盖公私有仓库、代码在线编辑、Issues、PR、Wiki、Git LFS 及插件扩展机制。

免费、快速的 2D HTML5 游戏框架，支持桌面与移动浏览器端 Canvas 与 WebGL 渲染。

支持多种内核、弹幕、外挂字幕、滤镜、水印及贴片广告的视频播放器。