登录 注册

搜索结果:r(5891 个)

按分类缩小范围
全部分类 AI 应用与 AI Agent AI 模型与开发框架 自动化与工作流 数据分析与数据处理 网站与 SaaS 工具 效率与办公工具 图像、视频与音频 内容创作与媒体工具 电商与营销工具 游戏与娱乐 网络与基础设施 开发者工具 安全与隐私工具 教育与学习 其他

http4s

综合 41
〔中文简介暂未生成〕 A minimal, idiomatic Scala interface for HTTP
Scala 2,627 0
其他 部署:待检测

nammayatri

综合 41
〔中文简介暂未生成〕 A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
Haskell 2,580 0
数据分析与数据处理 部署:待检测

ash

综合 41
用于构建 Elixir 应用程序的声明式、可扩展框架。
Elixir 2,561 0
其他 部署:待检测

flow

综合 41
Flow Control:一款面向程序员的文本编辑器。
Zig 2,548 0

circe

综合 41
〔中文简介暂未生成〕 Yet another JSON library for Scala
Scala 2,541 0
其他 部署:待检测

NotProton

综合 41
NotProton 致力于为 macOS 版 Steam 客户端带来类似 Linux 的 Steam Play 体验。它强行激活 Mac 端 Steam 闲置的兼容层功能,并移植部分 Valve Proton 组件,配合 CrossOver(支持 Rosetta 与 FEX)让 Mac 直接下载并运行 Windows 版游戏。注意不支持 VAC 反作弊。
Scala 2,509 0
其他 部署:待检测

nerves

综合 41
使用 Elixir 构建和部署高可靠嵌入式软件的开发平台。
Elixir 2,507 0
其他 部署:待检测
用于托管和分享终端会话录屏的平台。
Elixir 2,506 0
开发者工具 部署:待检测

chipyard

综合 41
Chipyard 是基于 Chisel 的开源敏捷 RISC-V SoC 设计框架。它整合了顺序核(Rocket)、乱序核(BOOM)、向量单元和加速器(Gemmini、NVDLA 等),并集成软件 RTL 仿真、FPGA 加速仿真及自动 VLSI 流程,帮开发者快速构建并验证全功能定制芯片。
Scala 2,460 0
其他 部署:待检测

fs2

综合 41
FS2 是 Scala 的纯函数式流式 I/O 处理库,主要解决高并发、带副作用数据流的安全与高效处理问题。其核心提供可组合的流(Stream)和拉取(Pull)抽象,在保障资源安全与高性能的同时,支持与 Cats-Effect 等不同副作用库结合使用。
Scala 2,456 0
其他 部署:待检测

miso

综合 41
**miso** 是一个基于 Haskell 的前端与移动端框架,受 Elm 和 React 启发,让开发者能用纯函数式语言编写 UI。 核心功能包括: 1. **MVU 架构与虚拟 DOM**:支持递归 diff 和高效更新。 2. **现代前端特性**:支持组件、生命周期、类型安全路由与事件委托。 3. **多目标编译**:通过 GHC 编译为 JS 或 WASM,支持 WASM 热重载。
Haskell 2,450 0
数据分析与数据处理 部署:待检测

quantum-core

综合 41
面向 Elixir 的类 Cron 定时任务调度器。
Elixir 2,418 0
自动化与工作流 部署:待检测

kyuubi

综合 41
Apache Kyuubi 是一个分布式、多租户的 Serverless SQL 网关。它提供类 HiveServer2 的 JDBC/ODBC 接口,让开发者无需 Spark 背景,直接用纯 SQL 即可查询数仓与数据湖的大规模数据。服务端支持多租户架构,实现资源隔离、高并发与高可用。
Scala 2,379 0

ethernaut

综合 41
基于 Web3 和 Solidity 的智能合约安全攻防闯关游戏(Wargame)。
Solidity 2,347 0
游戏与娱乐 部署:待检测

metals

综合 41
Metals 是一个基于语言服务器协议(LSP)构建的 Scala 语言服务器。它旨在为各大代码编辑器提供丰富的 IDE 级功能支持,作为 IntelliJ IDEA 等传统 IDE 的轻量级替代方案,帮助 Scala 开发者在日常编码中获得更好的开发体验。
Scala 2,343 0
开发者工具 部署:待检测

riscv-boom

综合 41
〔中文简介暂未生成〕 SonicBOOM: The Berkeley Out-of-Order Machine
Scala 2,287 0
其他 部署:待检测

supavisor

综合 41
面向云原生环境的多租户 Postgres 连接池工具。
Elixir 2,286 0

zmx

综合 41
用于终端会话挂载与分离(attach/detach)的工具。
Zig 2,284 0
开发者工具 部署:待检测

gitit

综合 41
Gitit 是一个用 Haskell 编写的 Wiki 程序。它解决传统 Wiki 内容难以通过版本控制本地管理的问题,将页面与文件直接存储在 Git、Darcs 或 Mercurial 仓库中,支持通过 Web 界面或命令行直接修改。系统基于 Pandoc 处理标记语言,默认支持 Markdown,也兼容 Org-mode 等多种格式,并具备 TeX 数学公式渲染、代码高亮、插件扩展及 Atom 订阅源等功能。
Haskell 2,278 0

seaport

综合 41
专用于安全高效买卖 NFT 的交易市场协议。
Solidity 2,261 0
其他 部署:待检测
上一页 1… 253 254 255 256 257 …295 下一页