搜索结果：at（1073 个）
按分类缩小范围
egison
综合 59
〔中文简介暂未生成〕 The Egison Programming Language
LibreChat
综合 58
增强版开源 ChatGPT Web 客户端，支持 Agent、MCP、Artifacts、模型切换及多家主流大模型 API。
wezterm
综合 58
采用 Rust 开发、支持 GPU 加速的跨平台终端模拟器与复用器。
oha
综合 58
受 rakyll/hey 启发、带 TUI 动画的 HTTP 负载测试工具
fullPage.js
综合 58
快速简单地构建全屏滚动展示页面的经典前端插件。
motion-canvas
综合 58
用代码可视化呈现你的创意。
gitoxide
综合 58
纯 Rust 实现的 Git，注重优雅、精简、快速与安全。
gpt-researcher
综合 58
支持多 LLM 提供商、可对任意主题或数据进行深度调研的自主 AI Agent。
redox
综合 58
Redox 操作系统官方 GitLab 仓库的镜像。
php-code-coverage
综合 58
为 PHP 代码覆盖率信息提供收集、处理和渲染功能的库。
scalacheck
综合 58
ScalaCheck 是一个专为 Scala 和 Java 程序设计的基于属性的自动化测试库。它受 QuickCheck 启发，能自动生成大量测试数据来验证代码属性是否始终成立，免去手写个别用例的繁琐。它零外部依赖，自带测试运行器，并深度集成了 SBT、ScalaTest 和 specs2。
tapir
综合 58
Tapir 是一个声明式、类型安全的 Scala HTTP API 库。它将端点定义与业务逻辑解耦，只需一套代码即可同时生成 HTTP 服务端、客户端调用代码，并自动导出 OpenAPI/AsyncAPI 文档。能无缝兼容 Netty、http4s、ZIO 等主流 Scala 生态框架。
OpenCut
综合 58
CapCut 的开源替代方案。
professional-programming
综合 58
面向充满好奇心的软件工程师的学习资源合集。
ruff
综合 58
使用 Rust 编写的极速 Python 代码检查与格式化工具。
huobao-drama
综合 58
基于 AI 的一站式短剧生成平台，支持通过一句话实现从剧本到成片的全自动化制作。
prql
综合 58
用于数据转换的现代管道式语言，简洁强大，旨在作为 SQL 的现代化替代品。
flutter_deer
综合 58
含完整 UI 设计图的 Flutter 练习项目，支持集成与可访问性测试。
cardano-node
综合 58
cardano-node 是参与 Cardano 去中心化区块链的核心节点程序。它整合了账本、共识机制和网络通信等底层模块，主要用于运行并维护 Cardano 节点。开发者既能直接运行它来加入网络、同步区块，也可以将其相关包作为 Haskell 库集成到自己的项目中。
plutus
综合 58
Plutus 是 Cardano 区块链底层的智能合约语言与开发平台。它主要用于在 Cardano 上构建去中心化应用，核心包含嵌入在账本中的脚本语言 Plutus Core 的实现与形式化规范，以及将 Haskell 代码编译为 Plutus Core 的编译器 Plutus Tx。