搜索结果：is（131 个）

NeoHaskell 是一种面向新手友好与开发效率的 Haskell 方言及应用框架。它旨在降低 Haskell 的上手门槛与偶发复杂度，核心功能包括保留强类型安全、提供清晰明确的 API，以及为事件溯源应用提供基础设施、可复用库和开发工具。

团队级 AI Agent 记忆中心，将对话、文档与代码沉淀为四类可复用的记忆资产。

面向开发者的 Python 主题建模与文本分析库。

〔中文简介暂未生成〕 Neo4j Connector for Apache Spark, which provides bi-directional read/write access to Neo4j from Spark, using the Spark DataSource APIs

高性能 Anchor-free 目标检测模型，支持 MegEngine、ONNX、TensorRT、ncnn 等部署。

移动端 Git 客户端，用于在远程仓库与本地目录之间同步代码仓库。

gwern.net 是知名独立网站的开源建站基础设施。基于 Haskell 的 Hakyll 搭建，解决长文阅读和知识归档体验问题。核心功能包括网页外链本地快照归档、悬浮弹窗预览、双向反向链接、内容嵌入/折叠、暗黑及阅读模式，并提供旁注、首字下沉等极致排版特性。

GitHubDaily 是一个专注于挖掘与分享优质开源项目的资源聚合仓库。它主要解决开发者寻找高效工具难、技术视野受限的问题，核心功能是按年份和场景（如 AI 工具、开发利器、学习教程等）系统分类整理并推荐 GitHub 上前沿、实用的开源项目与技术资讯。

〔中文简介暂未生成〕 SonicBOOM: The Berkeley Out-of-Order Machine

香山（XiangShan）是一个基于 Chisel/Scala 的开源高性能 RISC-V 处理器项目。它通过敏捷开发方法，致力于解决高性能开源 RISC-V 芯片设计难题，提供包括昆明湖架构在内的微结构实现，并配套设计、功能验证与性能评估等全套工具流程。

基于视觉模型的 OCR 与文档内容提取工具。

支持在命令行创建和查看交互式备忘录（cheatsheet）的工具，方便速查常用系统命令选项。

Cryptol 是一种专为密码学算法设计的形式化规范语言及解释器，用 Haskell 编写。它解决了密码学规范难以验证与执行的问题，具备完全可执行性；支持通过随机向量测试算法，并能调用 Z3 等 SMT 求解器进行形式化证明，确保算法的正确性。

积木报表：涵盖报表、大屏、仪表盘与 Chat2BI 的一站式开源数据分析平台。

免费下载《经济学人》（含音频）、《纽约客》等英文原版杂志，支持 EPUB、MOBI、PDF，每周更新。

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库，可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级，深度融合 Scala 子类型特性与 ZIO 生态，提供常用代数抽象与实用数据类型（如 NonEmptyList、Validation 等），帮助开发者更简单、务实地组合类型与处理数据。

面向 AI Agent 的独立审计工具，可人工或自主运行以核验执行是否符合预期。

基于 Meteor 构建的开源看板工具。

Ciris 是一个专为 Scala 打造的函数式配置加载库。它旨在解决 Scala 应用中的配置加载问题，核心特点是轻量级且可组合，让开发者能够以函数式的方式轻松管理和组合应用配置。