搜索结果：ui（1065 个）
按分类缩小范围
gh-dash
综合 64
功能丰富的 GitHub 终端 UI 工具，无需离开终端即可管理 PR 和 Issue。
OpenLogi
综合 64
基于 Rust 的 Logitech Options+ 本地替代品，支持按键映射，无遥测无需登录。
redux-devtools
综合 64
Redux 开发者工具，支持热重载、Action 回放和自定义 UI。
auto-animate
综合 64
零配置、即插即用的平滑过渡动画库，支持 React、Vue 等各类 JS 应用。
dropwizard
综合 64
用于快速构建生产级 RESTful Web 服务的简易 Java 框架。
bazel
综合 64
快速、可扩展、支持多语言的现代化构建系统。
pulsar
综合 64
Apache 分布式发布-订阅（Pub-Sub）消息流平台。
Nuitka
综合 64
用 Python 编写的 Python 编译器，兼容多版本，可将代码编译为独立可执行文件或扩展模块。
react-native-ui-kitten
综合 64
基于 Eva Design System 的 React Native UI 库，提供 30+ 支持动态明暗主题切换的跨平台组件
spring-cloud-alibaba
综合 64
基于阿里巴巴中间件的分布式应用开发一站式解决方案。
eladmin
综合 64
基于 Spring Boot 2.7.18、JPA 和 Vue 的前后端分离后台系统，支持 RBAC 权限与代码生成。
awx
综合 64
基于 Ansible 构建的 Web 界面、REST API 和任务引擎，也是 Red Hat 官方自动化平台的上游开源项目。
PySimpleGUI
综合 64
直观易用的 Python GUI 库，简化 tkinter/Qt/WxPython/Remi，V6 版采用 LGPL3。
cicada
综合 64
支持会议与直播的实时字幕、同传及 AI 纪要工具，跨全平台开源。
frontend-slides
综合 63
借助编程 Agent 的前端能力在 Web 上生成精美演示文稿（幻灯片）的工具。
readest
综合 63
功能丰富的现代化电子书阅读器，支持跨平台与直观的阅读体验。
OpenStock
综合 63
开源免费的行情平台，可追踪实时价格、设置个性化提醒并查看公司深入分析。
opentui
综合 63
用于构建终端用户界面（TUI）的轻量级开发库。
super_editor
综合 63
用于构建文档编辑器和阅读器的 Flutter 工具包。
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。