Functional Programming
Showing 36 of 761 projects
A practical F# library for datatype-generic programming using reflection and visitor patterns to minimize boilerplate.
Extends Elixir's pipe operator with macros for flexible composition strategies like error handling and pattern matching.
A fast and simple PureScript framework inspired by the Elm architecture for building web applications.
A simple, functional HTTP client library for F# with an immutable, fluent API.
A Swift library exploring pure declarative programming with algebraic structures, combinators, and functional patterns.
A library providing common functional combinators, currying, partial application, and composition utilities for Elixir.
A simple curry function for JavaScript with no clever tricks and full test coverage.
An OCaml kernel for Jupyter notebooks, providing an OCaml REPL with markdown/HTML documentation, LaTeX, and image embedding.
A kanban board application built with Elm, featuring drag-and-drop task management and theme support.
Introduces monads to Elixir for encapsulating state and controlling code flow with more powerful pipelines.
A curated collection of resources for learning and applying functional programming concepts in JavaScript.
A pipe-like function to write cleaner, more readable JavaScript code by transforming nested calls into vertical pipelines.
A tutorial on writing parallel programs in Multicore OCaml using domainslib for task pools, parallel loops, and async/await.
An Elixir library providing helpers for working with exceptions, offering a hybrid approach between tagged status and optimistic flow.
A formal and executable RISC-V ISA specification written in F# with a purely functional style, designed for clarity and reference.
A reactive event handling library for Elixir, inspired by Elm and Reactive Extensions, implementing asynchronous collections.
An asynchronous effect monad and threading model for PureScript, enabling concurrent and parallel computations.
An opinionated set of PureScript bindings to React, optimized for basic use cases.
A dotnet CLI template for creating full-stack web applications with the SAFE-Stack (Saturn, Azure, Fable, Elmish).
OCaml bindings for TensorFlow, enabling machine learning and neural network development in a functional programming environment.
An experimental compiler that translates F# code to Core Erlang, enabling F# programs to run on the BEAM virtual machine.
A special-purpose UI library for PureScript that uses Applicative-style programming to build reactive interfaces from input fields.
A Go library providing efficient, parallel, lazy map, reduce, filter, and other functional operations on sequences with built-in error handling.
A JavaScript library for asynchronous functional programming that treats promises as values.
Immutable Dart collections using the builder pattern for safe, comparable, and hashable data structures.
A JavaScript library for asynchronous functional programming that treats promises as values.
Nix library for filtering local source directories using gitignore rules, enabling reproducible builds.
A property-based testing library for Scala with advanced generators, flexible configuration, and full Scala.js/scala-native support.
A suite of high-performance, persistent immutable data structures for modern JavaScript and TypeScript applications.
A fractal state management library for Cycle.js applications using a single state atom and reducer streams.
A sophisticated, functionally-minded JavaScript promise library with coroutines, ES2015 iterables, and fantasy-land compliance.
Translates OCaml programs to Coq for formal verification of properties like invariants and absence of failures.
Translates OCaml programs to Coq for formal verification of properties like invariants, absence of failures, and backward compatibility.
A curated collection of resources, libraries, and tools for the Scala Native ahead-of-time compiler ecosystem.
A client-side web UI framework for PureScript that combines FRP and Elm architecture paradigms using a React backend.
A formally verified category theory library implemented in Idris, providing correctness guarantees through proofs.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.