awesome-repositories.com
博客
MCP
awesome-repositories.com

通过 AI 驱动的搜索,发现最优秀的开源仓库。

探索精选搜索开源替代品自托管软件博客网站地图
项目MCP 服务器关于排名机制媒体报道
法律隐私政策服务条款
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

7 个仓库

Awesome GitHub RepositoriesFunctional Programming Libraries

Libraries providing functional programming primitives and abstractions for a specific language.

Distinct from Functional Programming Libraries: None of the candidates provide a general-purpose functional library category for C#; candidate [f1_mt3] is specific to Java.

Explore 7 awesome GitHub repositories matching programming languages & runtimes · Functional Programming Libraries. Refine with filters or upvote what's useful.

Awesome Functional Programming Libraries GitHub Repositories

用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
  • higherorderco/hvm2HigherOrderCO 的头像

    HigherOrderCO/HVM2

    11,290在 GitHub 上查看↗

    HVM2 is a high-performance execution environment for pure functional programs, implemented as a systems-level runtime in Rust. It functions as a massively parallel functional runtime that uses interaction combinators to achieve automatic parallelism across multi-core CPUs and GPUs. The project distinguishes itself by using a graph-rewriting computational model to execute programs via local reduction rules, which eliminates the need for manual locks or atomic operations. It employs beta-optimal reduction and lazy evaluation to optimize higher-order functions and eliminate redundant computation

    Provides a runtime environment that implements core functional programming primitives and abstractions.

    Cuda
    在 GitHub 上查看↗11,290
  • arrow-kt/arrowarrow-kt 的头像

    arrow-kt/arrow

    6,558在 GitHub 上查看↗

    Arrow is a functional programming library for Kotlin that provides tools for implementing data-oriented programming patterns. It serves as a framework for typed error handling, a concurrency toolkit, and a library for the manipulation of immutable data. The project distinguishes itself through specialized capabilities for managing application failures using explicit types instead of exceptions and implementing resilience patterns such as circuit breakers and retry policies for distributed services. It also provides optics to update and query deeply nested immutable data structures without man

    Provides functional programming primitives and abstractions designed for the Kotlin language.

    Kotlinarrowcontinuationscoroutines
    在 GitHub 上查看↗6,558
  • baconjs/bacon.jsbaconjs 的头像

    baconjs/bacon.js

    6,458在 GitHub 上查看↗

    Bacon.js is a JavaScript functional reactive programming library used for coordinating complex asynchronous data flows. It functions as an observable event stream framework and an asynchronous data flow orchestrator, allowing developers to model events as declarative streams and properties. The library distinguishes itself through its ability to manage reactive state and synchronize timing across multiple sources. It provides specialized mechanisms for atomic state synchronization to prevent glitches in derived properties and offers advanced coordination strategies such as asynchronous stream

    Implements a comprehensive set of functional programming primitives like map, filter, fold, and zip for stream processing.

    TypeScript
    在 GitHub 上查看↗6,458
  • typelevel/catstypelevel 的头像

    typelevel/cats

    5,447在 GitHub 上查看↗

    Cats is a Scala functional programming library and type class library designed to implement algebraic patterns and functional abstractions. It provides a standardized set of interfaces and a modular toolkit of functional wrappers and containers to enable ad-hoc polymorphism and generic programming across disparate types. The project serves as a functional abstraction standard, offering a monad transformer suite to compose nested effectful contexts and handle multiple computational side effects within a single pipeline. It further enables the construction of embedded domain-specific languages

    Serves as the primary functional programming library for Scala, providing essential primitives and algebraic abstractions.

    Scala
    在 GitHub 上查看↗5,447
  • scalaz/scalazscalaz 的头像

    scalaz/scalaz

    4,667在 GitHub 上查看↗

    Scalaz 是一个 Scala 函数式编程库,提供了一系列纯函数式数据结构和类型类(type classes)。它作为一个框架,将函数式行为组织成层级结构,以实现泛型编程和类型安全转换。 该库包括用于通过单子转换器(monad transformer)系统在单个类型栈中组合和管理嵌套函数式效果的工具。它提供了用于表示和组合输入、输出和可选性效果的数据结构。 该项目涵盖了广泛的函数式抽象,包括实现原则性的编程模式,以及将输入和输出操作作为一等值进行管理。它还提供了调用类型类并将函数式语法应用于数据结构的机制。

    Implements a comprehensive collection of purely functional data structures and type classes for the Scala language.

    Scala
    在 GitHub 上查看↗4,667
  • vkhorikov/csharpfunctionalextensionsvkhorikov 的头像

    vkhorikov/CSharpFunctionalExtensions

    2,777在 GitHub 上查看↗

    CSharpFunctionalExtensions is a functional programming library for C# that provides a framework of monadic containers, pipeline orchestration tools, and immutable domain object patterns. It implements the result pattern to handle operation success and failure as values, reducing the reliance on exceptions for control flow. The library enables railway-oriented programming by chaining multiple operations into sequences that execute only upon the success of previous steps. It provides specialized wrappers for optional and result types to minimize null checks and nested conditional logic, alongsi

    Implements functional programming patterns like Result and Option as a library for the C# language.

    C#csharpentityfunctional-programming
    在 GitHub 上查看↗2,777
  • php-standard-library/php-standard-libraryphp-standard-library 的头像

    php-standard-library/php-standard-library

    1,552在 GitHub 上查看↗

    The php-standard-library is a comprehensive toolkit for functional programming and asynchronous networking in PHP, featuring typed data structures, structured concurrency, and composable validation mechanisms. It provides explicit result types and pure collection transformers that separate lists from dictionaries, eliminating traditional array key confusion and error-throwing patterns. The library supports concurrent execution through lightweight user-space fibers, message-passing channels, and non-blocking event loops, driving asynchronous TCP, TLS, UDP, and Unix socket servers without relyi

    Delivers a functional programming toolkit in PHP providing pure collection transformers, option types, and composable pipelines.

    PHPansiasynccollection
    在 GitHub 上查看↗1,552
  1. Home
  2. Programming Languages & Runtimes
  3. Functional Programming Libraries