搜索结果：ant（138 个）

支持 Markdown、todo.txt 的 Android 文本编辑与笔记应用。

终端里的交互式 JSON 查看与处理工具。

基于 Go 开发的高性能 HTTP Web 框架，提供类似 Martini 的 API，性能表现优异。

〔中文简介暂未生成〕 Agda is a dependently typed programming language / interactive theorem prover.

sttp 是一款专为 Scala 设计的 HTTP 客户端库。它解决了 Scala 生态中网络请求调用繁琐、技术栈割裂的问题。核心功能包括：提供统一易用的 API，支持同步、Future 及各类函数式 Effect（如 cats-effect、ZIO）；兼容 OkHttp 等多种底层后端；支持 URI 插值、JSON 自动编解码、流式传输、文件收发与 WebSocket。

现代 Go 语言交互式命令行工具开发库。

股票分析工具，支持行情获取、指标计算、形态选股、策略回测及自动交易。

提供易用的 Python API，针对 NVIDIA GPU 优化 LLM 高效推理加速。

基于 Tauri v2 和 React (Rust) 构建的 Antigravity 账号管理工具，支持一键无缝切换。

轻量、简洁且优雅的组件化前端 UI 库。

基于微软官方支持的方法与指南，提供安全加固 Windows 系统的工具和方案。

Rust 编写的零依赖 CLI 代理，可将常见开发命令的 LLM Token 消耗降低 60-90%。

创建轻量级、完全隔离的虚拟 Kubernetes 租户集群，每个集群拥有独立的 API server 与 CRD。

GraalVM 可将应用直接编译为原生可执行文件，实现秒级启动、快速扩容并节省计算资源。

一次编写多端适配的 Agent 技能库，支持 Claude Code、Cursor 等工具。

基于 GPUI 构建跨平台桌面应用的 Rust GUI 组件库。

高性能 iOS 纯文本编辑器，支持语法高亮、行号及不可见字符显示等功能。

免费的云端微服务，用于统计 GitHub 个人主页的访问次数。

Neovim 插件，让你在 Neovim 中获得类似 Cursor AI IDE 的编码体验。

Claude Code、Codex、OpenCode、DeepSeek Harness 等的跨平台桌面助手。