搜索结果：at（632 个）
按分类缩小范围
WSABuilds
综合 54
适用于 Win10/11 的 WSA 预构建包，集成 Google Play 商店与 Magisk/KernelSU root 支持。
objectbox-dart
综合 54
专为 Flutter 和 Dart 打造的超高速对象持久化嵌入式数据库。
neut
综合 54
Neut 是一个采用静态内存管理的函数式编程语言。它解决了传统函数式语言依赖 GC 的内存开销问题，在无需额外类型注解的情况下，实现可预测的、基于类型的内存管理。项目支持完整 λ 演算，可编译为 LLVM IR 和原生二进制，并内置 LSP、代码格式化与快速原型开发支持。
ComfyUI-Manager
综合 54
ComfyUI 增强扩展管理器，支持安装、卸载、启用和禁用各类自定义节点。
LoveIwara
综合 54
非官方 Iwara Flutter 应用，支持手机、平板和电脑等多平台，兼容 Android、Meta Horizon OS 等。
bandwhich
综合 54
终端网络带宽利用率监控工具。
Vyxal
综合 54
〔中文简介暂未生成〕 A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.
douyin
综合 53
基于 Vue3 + Pinia 的仿抖音项目，呈现 Vue 在移动端的工程最佳实践。
widgetbook
综合 53
专为 Flutter 团队打造的自定义小组件库与界面评审平台。
nylo
综合 53
快速开发 Flutter 移动应用的微框架，提供约定优于配置的开发规范与套件。
liquid_glass_widgets
综合 53
仿苹果风格的 Flutter UI 套件，支持着色器模糊、果冻动画与动态光效。
quine
综合 53
Quine 是一款专为实时流数据设计的流式图解释器。它能接入 Kafka、Kinesis 等事件流，将其动态构建为有状态的图结构；核心特色是“持续查询”（Standing Queries），可在图数据中实时监测复杂模式并在命中时触发操作，将计算结果实时流式输出。
laravel （PHP Web 应用框架）
综合 53
语法优雅简洁的 Web 应用框架，帮助开发者省去底层琐事、专注业务构建。
flutter_rust_bridge
综合 53
Flutter/Dart 与 Rust 的绑定代码生成器，功能丰富且无缝易用。
AAChartKit-Swift
综合 53
适用于 iOS、iPadOS 和 macOS 的声明式图表框架，支持折线、柱状、饼图等多种样式。
spark-excel
综合 53
spark-excel 是一个专为 Apache Spark 打造的插件，主要解决 Spark 原生不支持直接读写 Excel 文件的痛点。它能将 Excel 表格解析为 Spark DataFrame，支持指定单元格区域、表头及数据类型推断；其 V2 版本还支持多文件加载与损坏记录处理。
rzk
综合 53
〔中文简介暂未生成〕 An experimental proof assistant based on a type theory for synthetic ∞-categories.
appsmith
综合 53
用于快速搭建管理后台、内部工具和仪表盘的平台，支持连接 25+ 种数据库和各类 API。
liquidhaskell
综合 53
LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。
sembast.dart
综合 53
面向 Dart 的轻量级 I/O 数据库。