搜索结果:r(5891 个)
按分类缩小范围
http4s
综合 41
〔中文简介暂未生成〕 A minimal, idiomatic Scala interface for HTTP
nammayatri
综合 41
〔中文简介暂未生成〕 A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
ash
综合 41
用于构建 Elixir 应用程序的声明式、可扩展框架。
flow
综合 41
Flow Control:一款面向程序员的文本编辑器。
circe
综合 41
〔中文简介暂未生成〕 Yet another JSON library for Scala
NotProton
综合 41
NotProton 致力于为 macOS 版 Steam 客户端带来类似 Linux 的 Steam Play 体验。它强行激活 Mac 端 Steam 闲置的兼容层功能,并移植部分 Valve Proton 组件,配合 CrossOver(支持 Rosetta 与 FEX)让 Mac 直接下载并运行 Windows 版游戏。注意不支持 VAC 反作弊。
nerves
综合 41
使用 Elixir 构建和部署高可靠嵌入式软件的开发平台。
asciinema-server
综合 41
用于托管和分享终端会话录屏的平台。
chipyard
综合 41
Chipyard 是基于 Chisel 的开源敏捷 RISC-V SoC 设计框架。它整合了顺序核(Rocket)、乱序核(BOOM)、向量单元和加速器(Gemmini、NVDLA 等),并集成软件 RTL 仿真、FPGA 加速仿真及自动 VLSI 流程,帮开发者快速构建并验证全功能定制芯片。
fs2
综合 41
FS2 是 Scala 的纯函数式流式 I/O 处理库,主要解决高并发、带副作用数据流的安全与高效处理问题。其核心提供可组合的流(Stream)和拉取(Pull)抽象,在保障资源安全与高性能的同时,支持与 Cats-Effect 等不同副作用库结合使用。
miso
综合 41
**miso** 是一个基于 Haskell 的前端与移动端框架,受 Elm 和 React 启发,让开发者能用纯函数式语言编写 UI。
核心功能包括:
1. **MVU 架构与虚拟 DOM**:支持递归 diff 和高效更新。
2. **现代前端特性**:支持组件、生命周期、类型安全路由与事件委托。
3. **多目标编译**:通过 GHC 编译为 JS 或 WASM,支持 WASM 热重载。
quantum-core
综合 41
面向 Elixir 的类 Cron 定时任务调度器。
kyuubi
综合 41
Apache Kyuubi 是一个分布式、多租户的 Serverless SQL 网关。它提供类 HiveServer2 的 JDBC/ODBC 接口,让开发者无需 Spark 背景,直接用纯 SQL 即可查询数仓与数据湖的大规模数据。服务端支持多租户架构,实现资源隔离、高并发与高可用。
ethernaut
综合 41
基于 Web3 和 Solidity 的智能合约安全攻防闯关游戏(Wargame)。
metals
综合 41
Metals 是一个基于语言服务器协议(LSP)构建的 Scala 语言服务器。它旨在为各大代码编辑器提供丰富的 IDE 级功能支持,作为 IntelliJ IDEA 等传统 IDE 的轻量级替代方案,帮助 Scala 开发者在日常编码中获得更好的开发体验。
riscv-boom
综合 41
〔中文简介暂未生成〕 SonicBOOM: The Berkeley Out-of-Order Machine
supavisor
综合 41
面向云原生环境的多租户 Postgres 连接池工具。
zmx
综合 41
用于终端会话挂载与分离(attach/detach)的工具。
gitit
综合 41
Gitit 是一个用 Haskell 编写的 Wiki 程序。它解决传统 Wiki 内容难以通过版本控制本地管理的问题,将页面与文件直接存储在 Git、Darcs 或 Mercurial 仓库中,支持通过 Web 界面或命令行直接修改。系统基于 Pandoc 处理标记语言,默认支持 Markdown,也兼容 Org-mode 等多种格式,并具备 TeX 数学公式渲染、代码高亮、插件扩展及 Atom 订阅源等功能。
seaport
综合 41
专用于安全高效买卖 NFT 的交易市场协议。