Skip to content
Projekte

xgrommx/awesome-functional-programming

Auf GitHub ansehen

xgrommx/awesome-functional-programming has 3,535 GitHub stars and 306 forks. GitHot measured 0 stars in 24 hours and -2 in 7 days. Last checked 2026-11-15 09:34 UTC. Last push 2024-01-16.

So werden diese Zahlen gemessen

Gemessener Sternzuwachs

in 24h
0
in 7 days
-2
in 15 days
Verlauf wird gesammelt
in 1 month
Verlauf wird gesammelt

Nettoänderungen in überlappenden Zeiträumen, keine Tagessummen. Fehlende Messwerte bleiben leer. Sterne zeigen Interesse, nicht Qualität.

Über uns

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

Kreativität und Medien

README.md

Original

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