Lutece / awesome-functional-programming

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

About

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