搜索结果：at（632 个）

Stability AI 官方推出的生成式 AI 基础模型仓库。

Flutter 版 React hooks，用于管理 Widget 生命周期，提升代码复用并可完全替代 StatefulWidget。

gps-overlay-on-video 是一个用 Scala 开发的桌面工具，主要解决骑行等运动视频缺少实时数据展示的问题。它可以将 GPS 设备（如 Garmin、手机 Strava）记录的遥测数据合成并叠加到视频上，实时显示车速、海拔高度、爬坡坡度及心率区间等仪表盘信息。

适用于 Chrome、Firefox 和 Thunderbird 的扩展，支持用 Markdown 编写并在发送前渲染邮件。

简洁优雅的 macOS 词典翻译工具，开箱即用，支持离线 OCR 识别及国内外主流词典与大模型翻译服务。

用于自动化控制 iOS 模拟器和真机的灵活 CLI 工具。

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

Twirl 是 Play 框架默认的模板引擎，也可在 Scala 或 Java 项目中脱离 Play 独立使用。它主要用于高效构建 Web 页面和文本输出，核心功能是将 HTML、JS、XML 或 TXT 等模板文件自动编译生成标准的 Scala 源代码，并提供 sbt 与 Maven 插件支持无缝集成构建。

数据库迁移工具，提供 CLI 命令行工具与 Golang 代码库支持。

精选 React Native 组件、新闻、开发工具与学习资料合集。

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

积木报表：涵盖报表、大屏、仪表盘与 Chat2BI 的一站式开源数据分析平台。

Flutter 桌面端窗口管理插件，全面支持控制窗口大小、位置、外观、关闭行为及事件监听。

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

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

〔中文简介暂未生成〕 A Scala DSL for talking with databases with minimum verbosity and maximum type safety

支持桌面端（Windows/macOS/Linux）和 Android 的 Yubico 身份验证器应用。

Project:M36 是一个纯 Haskell 开发的关系代数引擎，旨在解决传统 DBMS 偏离数学原理、不够严谨的问题。它严格遵循纯正的关系代数，支持 TutorialD 与 SQL 交互，可用作进程内或远程数据库后端，适合学习关系代数与规范化数据存储。

〔中文简介暂未生成〕 Super type-safe CSS for Scala and Scala.JS.

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