Awesome GitHub RepositoriesFunctional Programming Libraries

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

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

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

Cats es una biblioteca de programación funcional y type classes para Scala, diseñada para implementar patrones algebraicos y abstracciones funcionales. Proporciona un conjunto estandarizado de interfaces y un kit de herramientas modular de wrappers y contenedores funcionales para permitir el polimorfismo ad-hoc y la programación genérica entre tipos dispares. El proyecto sirve como estándar de abstracción funcional, ofreciendo una suite de transformadores de mónadas para componer contextos con efectos anidados y manejar múltiples efectos secundarios computacionales dentro de un solo pipeline. Además, permite la construcción de lenguajes específicos de dominio (DSL) embebidos al representar la lógica del programa como estructuras de datos que se interpretan por separado de sus definiciones. La biblioteca cubre amplias áreas de capacidad, incluyendo la manipulación algebraica de datos para combinar y reducir valores, gestión de estado con seguridad de tipos y manejo funcional de errores para formalizar la acumulación y recuperación de errores. También proporciona herramientas para la gestión de computación con efectos y la extensión de tipos de colección estándar con capacidades funcionales. La biblioteca incluye mecanismos para la validación de leyes algebraicas, asegurando que las instancias de type classes cumplan con las propiedades matemáticas.

Scalaz es una biblioteca de programación funcional para Scala que proporciona una colección de estructuras de datos puramente funcionales y clases de tipo. Funciona como un framework para organizar comportamientos funcionales en jerarquías para permitir la programación genérica y transformaciones con tipado fuerte. La biblioteca incluye herramientas para componer y gestionar efectos funcionales anidados dentro de una sola pila de tipos a través de un sistema de transformadores de mónadas. Proporciona estructuras de datos para representar y combinar efectos de entrada, salida y opcionalidad. El proyecto cubre una amplia superficie de abstracciones funcionales, incluyendo la implementación de patrones de programación basados en principios y la gestión de operaciones de entrada y salida como valores de primera clase. También proporciona mecanismos para invocar clases de tipo y aplicar sintaxis funcional a estructuras de datos.

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

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