awesome-functional-programming
github.com/eric-erki/awesome-functional-programming ↗Yet another resource for collecting articles, videos etc. regarding functional programming
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me elm resources from awesome-functional-programming"
Installation instructions →What's inside
Tutorials and Articles
Libraries
- 1-liners - Functional tools that couldn’t be simplerJavascript
Functional tools that couldn’t be simpler
- adt.js - Algebraic data types for JavascriptJavascript
Algebraic data types for Javascript
- akh-cont - Akh continuation monad and monad transformerJavascript
Akh continuation monad and monad transformer
- alicates - Small library for functional programming with ES2015+Javascript
Small library for functional programming with ES2015+
- Argo - Functional JSON parsing library for SwiftSwift
Functional JSON parsing library for Swift
- Arrow - Functional programming library, which adds patterns, type classes and moreKotlin
Functional programming library, which adds patterns, type classes and more
Resources
Books
Languages
- Agda
A dependently typed functional programming language
- Coq
A formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs
- Ditto
A super kawaii dependently typed language for you!
- Ela
A dynamic functional language
Videos
Awesome
- Awesome Coq - A curated list of awesome Coq frameworks, libraries and software
A curated list of awesome Coq frameworks, libraries and software
- Awesome Elixir - A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things
A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things
- Awesome Elm - A curated list of useful Elm tutorials, libraries and software. Inspired by awesome list
A curated list of useful Elm tutorials, libraries and software. Inspired by awesome list
- Awesome F# - A curated list of awesome F# frameworks, libraries, software and resources
A curated list of awesome F# frameworks, libraries, software and resources
- Awesome Functional Python - A curated list of awesome things related to functional programming in Python
A curated list of awesome things related to functional programming in Python
- Awesome Haskell - A curated list of awesome Haskell frameworks, libraries and software
A curated list of awesome Haskell frameworks, libraries and software
Showing a sample of 854 resources. View the full list on GitHub →