搜索结果：pc（5 个）
按分类缩小范围
OI-wiki
综合 65
面向所有人的 OI / ICPC 算法竞赛知识维基百科与中文学习资源。
izumi
综合 61
Izumi 是提升 Scala 开发效率的独立工具与框架生态。它主要解决纯函数式 Scala（支持 Cats Effect、ZIO 等）在工程化中的繁琐痛点，核心提供编译期安全的依赖注入（distage）、跨测试共享资源的测试套件、基于字符串插值的结构化日志（LogStage）以及 Docker 测试集成等实用功能。
gwern.net
综合 57
gwern.net 是知名独立网站的开源建站基础设施。基于 Haskell 的 Hakyll 搭建，解决长文阅读和知识归档体验问题。核心功能包括网页外链本地快照归档、悬浮弹窗预览、双向反向链接、内容嵌入/折叠、暗黑及阅读模式，并提供旁注、首字下沉等极致排版特性。
akka-grpc
综合 51
〔中文简介暂未生成〕 A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.
reboot
综合 50
Dispatch Reboot 是一个 Scala 异步 HTTP 客户端库。它基于 Java 的 AsyncHttpClient（AHC）重写并封装，旨在为 Scala 开发者提供更符合语言习惯、易用的 HTTP 请求与交互接口，支持 Java 11+ 及 Scala 2.13、3.3.3+。