搜索结果：at（217 个）

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

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

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

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

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

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

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

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

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

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

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

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

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

可扩展的文本编辑器框架，兼具高可靠性、无障碍支持与优秀性能。

基于 VSCode 的个人知识管理与分享系统。

专为 macOS 设计的代码编辑器，开源且永久免费，提升日常编码体验。

Apache OpenWhisk 是一个开源的 Serverless（无服务器）云平台。它让开发者无需管理底层服务器，即可通过 Docker 容器运行函数。其核心功能包括：支持将函数暴露为 API、使用规则和触发器实现事件驱动响应、编排复杂工作流，并支持本地及 Kubernetes 部署。

完全免费、开源的去中心化微型博客（Microblogging）社交平台。

开箱即用的 OCR 库，支持中文、拉丁文等 80 多种语言及常见字体的文字识别。

从零开始使用纯 Rust 编写的开源矢量艺术绘图工具。