搜索结果：r（854 个）
按分类缩小范围
Vyxal
综合 54
〔中文简介暂未生成〕 A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.
douyin
综合 53
基于 Vue3 + Pinia 的仿抖音项目，呈现 Vue 在移动端的工程最佳实践。
mobile
综合 53
知名国际象棋平台 Lichess 的官方移动端 App。
badgemagic-app
综合 53
LED 徽章控制应用 Badge Magic，支持 iOS、Mac 和 Android 端。
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.
union （零知识证明跨链桥协议）
综合 53
面向去中心化金融、抗审查且高安全性的最小化信任零知识证明跨链桥协议。
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 数据库。
json4s
综合 53
〔中文简介暂未生成〕 JSON library
hydradb
综合 53
基于对象存储的高性能图数据库。
trackerslist
综合 53
持续同步更新的公共 BitTorrent Tracker 列表。