Yet another resource for collecting articles, videos etc. regarding functional programming
Switch branches/tags
Nothing to show
Latest commit b475a45 May 27, 2017 @xgrommx committed on GitHub Merge pull request #28 from jonathandion/master
Update readme
Permalink
Failed to load latest commit information.
.gitignore README.md has been updated Jun 4, 2016
README.md Update readme May 27, 2017
_haskell.md RS Apr 5, 2017
fp.md Update fp.md Mar 23, 2016
frp.md README.md has been updated Jun 28, 2016
rsfa.md README has been updated May 8, 2017

README.md

Awesome Functional Programming Awesome

Tutorials and Articles

Lenses

Monads

Purescript

Elm


Awesome


Books


Resources


Combinators


Presentations


Videos


Youtube channels


Libraries

Javascript


Livescript


Java


Clojure/ClojureScript


ClojureScript


Scala


Kotlin


F#


C#


Swift


Python


PHP


Rust


Julia


Go


Haskell


Elixir


Erlang


OCaml


Racket lang


hackett - (Very) WIP implementation of a Haskell 98-like Lisp in Racket

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

Ela - Dynamic functional language

Eta - A powerful language for building scalable systems on the JVM

Koka - a function-oriented language with effect inference

Ditto is a super kawaii dependently typed language for you!

F* (pronounced F star) is an ML-like functional programming language aimed at program verification

Idris is a general purpose pure functional programming language with dependent types

Agda is a dependently typed functional programming language

Coq is 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