Functional Programming
Showing 36 of 1117 projects
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.
A curated collection of resources, libraries, and tools for the Scala Native ahead-of-time compiler ecosystem.
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 formally verified category theory library implemented in Idris, providing correctness guarantees through proofs.
A client-side web UI framework for PureScript that combines FRP and Elm architecture paradigms using a React backend.
A Go library for orchestrating and synchronizing goroutines with a functional interface and minimal overhead.
A toolset to enhance Xcode Playgrounds with third-party library support, compilation, documentation generation, and iPad Playground Book creation.
An informal manual for Rust and F# developers to learn each other's language by highlighting their similarities and differences.
A Clojure library providing ordered sets and maps that maintain insertion order of elements.
A JavaScript library for building React applications using functional programming patterns as an alternative to JSX.
A JavaScript library for building React applications using functional programming patterns as an alternative to JSX.
A ClojureScript library providing Ant Design React UI components for Reagent and Rum web applications.
A minimal, fast functional utility library for JavaScript with only 14 pure functions.
A Scala library for natural language processing with functional and actor-based pipelines.
A pure OCaml regular expression library supporting Perl, POSIX, Emacs, and glob patterns with DFA-based matching.
A guide and example project demonstrating the Functional River pattern for refactoring callback-based JavaScript into modular, promise-based pipelines.
A comprehensive, modular graph library for OCaml providing multiple graph implementations and algorithms.
A Coq library for representing and reasoning about recursive, effectful, and non-terminating programs using interaction trees.
A pattern matching library for Go inspired by Python's Pampy, supporting structs, slices, maps, regex, and custom matchers.
An experimental JavaScript library that adds functional pattern matching with concise syntax and efficient matching algorithms.
Interactive exercises to learn Elixir by completing test-driven koans.
A comprehensive Haskell library for interacting with Amazon Web Services including S3, SQS, DynamoDB, and more.
A simple, easy-to-use library for React development in ClojureScript, providing a Clojure-y interface to React.
A lightweight parser combinator library for Idris, inspired by Parsec, with backtrack-by-default behavior.
A testing framework for writing unit and fuzz tests in Elm, enabling property-based testing with random inputs.
A fast monadic-style parser combinator library for stable Rust, enabling expressive and performant parsing.
A Clojure library of parser combinators for implementing recursive-descent parsers with unlimited look-ahead.
A PureScript framework for writing scalable, performant apps with mathematical precision using functional programming.
A Swift library providing a comprehensive set of validators for strings and other types in iOS applications.
A generic, macro-based, stackless coroutine builder for Clojure and ClojureScript.
A TodoMVC example application built with Cycle.js to demonstrate reactive functional programming patterns.
A set of interactive exercises for learning the Elm programming language through test-driven practice.
A function definition plugin for Rocq/Coq that provides notation for dependent pattern-matching and well-founded recursion.
An experimental F# typed API for Akka.NET, simplifying actor creation and enabling static type safety.
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.