搜索结果：ui（181 个）

基于 OpenTelemetry 的开源可观测性平台，支持应用与 AI Agent，一站式提供 APM、日志、指标与分布式追踪。

自带格式化功能的零配置 Kotlin 代码检查工具（Linter）。

Brick 是一个用 Haskell 编写的终端用户界面（TUI）开发库。它解决了传统 TUI 编写控件和布局繁琐的问题，提供声明式 API。开发者只需用纯函数和布局组合器描述界面绘制，并通过状态转换函数处理事件。基于 Vty 构建，支持 Unix 和 Windows 系统。

基于苹果 Find My 查找网络的蓝牙设备追踪框架，自制专属 AirTag。

基于 Spring Boot + MyBatis 实现的电商系统，包含前台商城与后台管理，支持 Docker 部署。

Scribe 是一款专为 Scala 生态从零构建的超高性能日志库。它解决了传统日志依赖 Java 框架封装所带来的性能损耗及跨平台受限问题。核心亮点在于无需配置文件、支持纯代码化配置，利用宏在编译期深度优化性能，且原生支持 JVM、Scala.js 及 Scala Native 跨平台运行，同时兼容 SLF4J。

免费下载《经济学人》（含音频）、《纽约客》等英文原版杂志，支持 EPUB、MOBI、PDF，每周更新。

精美的加载动画效果集合组件库。

30 天 Python 编程学习挑战指南，提供循序渐进的自学步骤，可根据个人节奏完成。

适用于 Win10/11 的 WSA 预构建包，集成 Google Play 商店与 Magisk/KernelSU root 支持。

ComfyUI 增强扩展管理器，支持安装、卸载、启用和禁用各类自定义节点。

使用 Flutter 构建的极简移动端 RSS 阅读器。

快速开发 Flutter 移动应用的微框架，提供约定优于配置的开发规范与套件。

仿苹果风格的 Flutter UI 套件，支持着色器模糊、果冻动画与动态光效。

Quine 是一款专为实时流数据设计的流式图解释器。它能接入 Kafka、Kinesis 等事件流，将其动态构建为有状态的图结构；核心特色是“持续查询”（Standing Queries），可在图数据中实时监测复杂模式并在命中时触发操作，将计算结果实时流式输出。

用于快速搭建管理后台、内部工具和仪表盘的平台，支持连接 25+ 种数据库和各类 API。

LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。

全面的 C/C++ 技术面试基础知识与求职经验总结。

基于 Go 语言构建的终端仪表盘（Dashboard）库。

跨平台 UI 工具包，助你快速、轻松地为移动端及更多平台构建精美应用。