搜索结果：at（645 个）
按分类缩小范围
neut
综合 54
Neut 是一个采用静态内存管理的函数式编程语言。它解决了传统函数式语言依赖 GC 的内存开销问题，在无需额外类型注解的情况下，实现可预测的、基于类型的内存管理。项目支持完整 λ 演算，可编译为 LLVM IR 和原生二进制，并内置 LSP、代码格式化与快速原型开发支持。
LoveIwara
综合 54
非官方 Iwara Flutter 应用，支持手机、平板和电脑等多平台，兼容 Android、Meta Horizon OS 等。
ComfyUI-Manager
综合 54
ComfyUI 增强扩展管理器，支持安装、卸载、启用和禁用各类自定义节点。
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 应用框架，帮助开发者省去底层琐事、专注业务构建。
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 插件直接运行，从而在编译期检查程序性质并发现潜在错误。
open-design （协作式AI设计工作台）
综合 53
本地优先的开源 AI 协同设计工作区，支持与团队及 AI Agent 一起创建动效、原型、网站、应用和多媒体内容。
freellmapi
综合 53
整合多平台免费端点的 LLM 聚合网关，兼容 OpenAI 格式并支持智能故障转移。
sembast.dart
综合 53
面向 Dart 的轻量级 I/O 数据库。
hydradb
综合 53
基于对象存储的高性能图数据库。
trackerslist
综合 53
持续同步更新的公共 BitTorrent Tracker 列表。