awesome-functional-programming
by xgrommx
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
What's in the list
883 links in 32 sections, with live GitHub stats.activeno commit in 2y
Tutorials and Articles
- Category Theory in JavaScript
(must have)
Tutorials and Articles / Lenses
Tutorials and Articles / Monads
- Comonads, Monoids and Trees
(awesome article)
Tutorials and Articles / Purescript
Tutorials and Articles / Elm
Awesome
Books
Resources
Resources / Combinators
Presentations
- Functional Programming Patterns
(must have)
Videos
- The fuel for the Functional Programming engine
Michal Plachta
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
Nothing in this list matches your filter.
Featured in 3 awesome lists
Each link jumps to the spot where the list mentions awesome-functional-programming.
More related projects
wisn/jargon-pemrograman-fungsional70
rpominov/fun-task373
paldepind/flyd1.6K
bluedaniel/kakapo-native140
selfrefactor/rambda1.7K
selfrefactor/rambdax221
zorium/zorium69
crosseye/ramda2
ramda/ramda23.9K
sergtitov/nodejs-learning1.8K
williamdemeo/typefunc309
youyudehexie/node1233.6K
thomasweiser/todomvc-elmfire60