登录 注册

搜索结果:functional(59 个)

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

compiler

综合 57
该项目是函数式编程语言 Elm 的官方编译器,使用 Haskell 编写。它致力于帮助开发者构建可靠的 Web 应用,核心功能是将 Elm 代码编译为高效的前端代码,并提供安装支持,为编写无运行时异常的 Web 应用提供底层编译保障。
Haskell 7,938 690 2026-11-02

NeoHaskell

综合 57
NeoHaskell 是一种面向新手友好与开发效率的 Haskell 方言及应用框架。它旨在降低 Haskell 的上手门槛与偶发复杂度,核心功能包括保留强类型安全、提供清晰明确的 API,以及为事件溯源应用提供基础设施、可复用库和开发工具。
Haskell 348 11 2026-11-06
为 Rails 常见功能提供简单、单行测试断言的工具库。
Ruby 3,577 915 2026-11-09
内容创作与媒体工具 部署:中等

Flat-UI

综合 57
基于 Bootstrap 的扁平化设计前端框架,提供响应式布局与实用组件,大幅简化网站开发流程。
JavaScript 15,276 2,263 2025-07-08
网站与 SaaS 工具 部署:待检测

Carp

综合 57
Carp 是一门专为游戏、音频合成和可视化等实时高性能场景设计的静态类型 Lisp 语言。它没有垃圾回收器和虚拟机,通过所有权追踪实现自动且确定性的内存管理,避免隐藏的性能开销。同时支持静态类型推导、Lisp 宏、REPL 交互,并能直接与现有 C 代码集成。
Haskell 6,102 189 2026-11-04

HMCL

综合 56
一款功能丰富、流行且跨平台的 Minecraft 启动器。
Java 10,955 1,293 2026-11-12
游戏与娱乐 部署:中等

czkawka

综合 56
多功能清理工具,可查找重复项、空文件夹、相似图片等。
Fluent 35,110 1,261 2026-11-10

nowinandroid

综合 56
完全采用 Kotlin 和 Jetpack Compose 构建的功能完备的官方示例 Android 应用。
Kotlin 22,071 4,713 2026-11-12
其他 部署:中等

comparator

综合 56
提供比较 PHP 值是否相等的功能。
PHP 7,043 73 2026-11-11
开发者工具 部署:中等

fs2

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

exporter

综合 55
用于导出 PHP 变量以便进行可视化查看的工具库。
PHP 6,811 39 2026-11-11

environment

综合 55
用于根据不同运行时环境执行特定分支逻辑的 PHP 工具库。
PHP 6,764 36 2026-11-11
提供递归处理 PHP 变量功能的工具库。
PHP 6,560 19 2026-11-11
开发者工具 部署:中等

Learning-SICP

综合 55
MIT 公开课《计算机程序的构造和解释》中文化项目与配套学习资料汇总。
Ruby 11,297 1,521 2026-06-26

RxSwift

综合 55
Swift 响应式编程实现。
Swift 24,627 4,147 2026-09-04
其他 部署:待检测

ReactiveUI

综合 55
受函数式响应式编程启发打造的 .NET 跨平台 MVVM 框架。
C# 8,556 1,148 2026-11-10
开发者工具 部署:中等

eff

综合 54
eff 是一个面向 Scala 的函数式编程库。它旨在替代复杂的单子变换器(Monad Transformers),解决多重副作用组合繁琐的问题。核心提供基于“Freer Monad”的可扩展副作用(Eff monad),开箱支持 Reader、Writer、State 等常用效果,并允许开发者自定义副作用栈。
Scala 589 80 2026-11-10

neut

综合 54
Neut 是一个采用静态内存管理的函数式编程语言。它解决了传统函数式语言依赖 GC 的内存开销问题,在无需额外类型注解的情况下,实现可预测的、基于类型的内存管理。项目支持完整 λ 演算,可编译为 LLVM IR 和原生二进制,并内置 LSP、代码格式化与快速原型开发支持。
Haskell 1,010 16 2026-11-08

zio-prelude

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

scalaz

综合 53
〔中文简介暂未生成〕 Principled Functional Programming in Scala
Scala 4,670 695 2026-11-10
上一页 1 2 3 下一页