Awesome Lists

awesome-functional-programming

by xgrommx

awesome listpushed over 2 years ago

Yet another resource for collecting articles, videos etc. regarding functional programming

AI summary

Functional programming resource hub

A curated collection of resources and articles on functional programming concepts, libraries, and techniques

stars
3.5K
forks
305
watching
151
awesome lists
3
entries
883
View on GitHub

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/xgrommx/awesome-functional-programming/links.svg)](https://awesome.facts.dev/awesome/xgrommx/awesome-functional-programming)
HTML
<a href="https://awesome.facts.dev/awesome/xgrommx/awesome-functional-programming"><img src="https://awesome.facts.dev/shield/xgrommx/awesome-functional-programming/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/xgrommx/awesome-functional-programming/links.svg

What's in the list

883 links in 32 sections, with live GitHub stats.activeno commit in 2y

Tutorials and Articles

Tutorials and Articles / Lenses

Tutorials and Articles / Monads

Tutorials and Articles / Purescript

Tutorials and Articles / Elm

Awesome

Books

Resources

Resources / Combinators

Presentations

Videos

Youtube channels

Libraries / Javascript

Libraries / Livescript

Libraries / Java

Libraries / Clojure/ClojureScript

Libraries / ClojureScript

Libraries / Scala

Libraries / Kotlin

Libraries / F#

Libraries / C#

Libraries / Swift

Libraries / Python

Libraries / PHP

Libraries / Rust

Libraries / Julia

Libraries / Go

Libraries / Haskell

Libraries / Erlang

Libraries / OCaml

Libraries / Racket

Languages

  • Lean

    Lean is a functional programming language that makes it easy to write correct and maintainable code

  • Pyret

    A programming language designed to serve as an outstanding choice for programming education while exploring the confluence of scripting and functional programming

  • Ela

    A dynamic functional language

  • Eta

    A powerful language for building scalable systems on the JVM

  • Koka

    A function-oriented language with effect inference

  • Ditto

    A super kawaii dependently typed language for you!

  • F*

    (pronounced F star) An ML-like functional programming language aimed at program verification

  • Idris

    A general purpose pure functional programming language with dependent types

  • 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

More related projects

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.