awesome-functional-programming

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

Github stars Tracking Chart

Awesome Functional Programming Awesome

Contents

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


Languages

  • 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

Main metrics

Overview
Name With Ownerxgrommx/awesome-functional-programming
Primary Language
Program language (Language Count: 0)
Platform
License:
所有者活动
Created At2015-11-14 22:19:43
Pushed At2024-01-16 08:10:48
Last Commit At2024-01-16 10:10:47
Release Count0
用户参与
Stargazers Count3.5k
Watchers Count149
Fork Count304
Commits Count225
Has Issues Enabled
Issues Count9
Issue Open Count6
Pull Requests Count44
Pull Requests Open Count6
Pull Requests Close Count6
项目设置
Has Wiki Enabled
Is Archived
Is Fork
Is Locked
Is Mirror
Is Private