搜索结果：at（1086 个）
按分类缩小范围
plutus
综合 58
Plutus 是 Cardano 区块链底层的智能合约语言与开发平台。它主要用于在 Cardano 上构建去中心化应用，核心包含嵌入在账本中的脚本语言 Plutus Core 的实现与形式化规范，以及将 Haskell 代码编译为 Plutus Core 的编译器 Plutus Tx。
professional-programming
综合 58
面向充满好奇心的软件工程师的学习资源合集。
navi
综合 58
一款面向命令行的交互式备忘清单（cheatsheet）工具。
Easydict
综合 58
简洁优雅的 macOS 词典翻译工具，开箱即用，支持离线 OCR 识别及国内外主流词典与大模型翻译服务。
rust-clippy
综合 58
Rust 官方代码静态检查工具集合，用于排查常见错误并优化代码风格。
webhook
综合 58
用于接收 Webhook 请求并执行 Shell 命令的轻量级服务器。
scalikejdbc
综合 58
〔中文简介暂未生成〕 A tidy SQL-based DB access library for Scala developers. This library naturally wraps JDBC APIs and provides you easy-to-use APIs.
更快、更好、更稳定的 Redis 桌面 GUI 客户端，支持多平台。
bytecode-viewer
综合 58
支持 Java 8+ Jar 和 Android APK 的逆向工程套件，集反编译器、编辑器与调试器等功能于一身。
open-meteo
综合 58
面向非商业用途的免费天气预报 API。
Perspec
综合 58
Perspec 是一款基于 Haskell 开发的桌面工具，用于矫正文档、白板、收据或建筑立面等照片的透视畸变。它能自动识别图像边角，也支持手动拖动微调或缩放，并支持脚本化操作与批量处理，一键导出校正后的平面图像。
vinyldns
综合 58
〔中文简介暂未生成〕 DNS automation and governance for streamlining DNS operations and enabling safe and secure DNS self-service
tiny-rdm
综合 58
现代化轻量级 Redis 桌面客户端，跨平台支持，提供 Docker Web 版。
scira
综合 58
基于 Vercel AI SDK 构建的极简 AI 搜索引擎，支持联网检索并附带引用来源。
reveal.js （HTML网页演示文稿框架）
综合 58
基于 HTML 的开源演示文稿（PPT）制作框架。
meilisearch
综合 58
极速搜索引擎 API，为网站和应用带来基于 AI 的混合搜索能力。
wezterm
综合 57
采用 Rust 开发、支持 GPU 加速的跨平台终端模拟器与复用器。
DeviceKit
综合 57
UIDevice 的值类型替代方案。
ziggy
综合 57
用于清晰表达 API 消息和配置文件的数据序列化语言。
NeoHaskell
综合 57
NeoHaskell 是一种面向新手友好与开发效率的 Haskell 方言及应用框架。它旨在降低 Haskell 的上手门槛与偶发复杂度，核心功能包括保留强类型安全、提供清晰明确的 API，以及为事件溯源应用提供基础设施、可复用库和开发工具。