• Stars
    star
    3,375
  • Rank 12,749 (Top 0.3 %)
  • Language
  • Created over 8 years ago
  • Updated about 1 year ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

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

  • 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 Repositories

1

awesome-redux

Awesome list of Redux examples and middlewares
12,167
star
2

rx-book

JavaScript
1,666
star
3

mobx-ecosystem

110
star
4

purescript-ecosystem

96
star
5

practical-functional-programming

JavaScript
79
star
6

elm-architecture

48
star
7

idris-ecosystem

46
star
8

coq-ecosystem

39
star
9

elm-ecosystem

36
star
10

angular-vk-app

This is just a fun project.
JavaScript
30
star
11

agda-ecosystem

28
star
12

rx-book-pdf

This is a pdf version of http://xgrommx.github.io/rx-book
21
star
13

awesome-functional-reactive

18
star
14

react-rx-flux

JavaScript
13
star
15

from-combinators-to-fp

JavaScript
10
star
16

purescript-from-adt-to-eadt

PureScript
10
star
17

reflex-ecosystem

10
star
18

cycle-drag-and-drop

JavaScript
9
star
19

ng-with-react

JavaScript
8
star
20

halogen-ecosystem

8
star
21

most-reactive-flux

JavaScript
8
star
22

haskell-ecosystem

7
star
23

purescript-profunctor-lenses-extra

PureScript
6
star
24

purescript-experiments

PureScript
5
star
25

awesome-reactive-programming

3
star
26

gitbook-plugin-video

JavaScript
3
star
27

purescript-align

PureScript
3
star
28

purescript-diff

PureScript
3
star
29

angular-bacon-bridge

JavaScript
3
star
30

vizor-create

Vizor Create is a visual programming tool for WebGL, WebVR and other HTML5 APIs
JavaScript
3
star
31

angular-kefir

JavaScript
2
star
32

most-book

CSS
2
star
33

angular-structure

JavaScript
2
star
34

purescript-partial-semigroup

PureScript
1
star
35

KoanMPAndroidChartExample

Java
1
star
36

ng-news

JavaScript
1
star
37

angular-frp

JavaScript
1
star
38

purescript-tt

PureScript
1
star
39

purescript-fun-with-lens

PureScript
1
star
40

simple-frp

JavaScript
1
star
41

rx-presentation

HTML
1
star
42

most-spawn

JavaScript
1
star
43

purescript-split

PureScript
1
star
44

purescript-streaming

PureScript
1
star
45

purescript-prettyprinter

PureScript
1
star
46

eadt

PureScript
1
star