The Top 58 Scala Functional Programming Monad Open Source Projects
dependent packages 34
total releases 19
most recent commit 3 years ago![]()
most recent commit 2 years ago![]()
Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda. most recent commit 5 days ago![]()
most recent commit 2 years ago![]()
dependent packages 12
total releases 14
most recent commit 2 days ago![]()
most recent commit 13 days ago![]()
dependent packages 66
total releases 12
most recent commit 2 months ago![]()
dependent packages 3
total releases 22
most recent commit 6 years ago![]()

most recent commit 8 years ago![]()
most recent commit 3 years ago![]()
total releases 23
most recent commit a month ago![]()
total releases 3
most recent commit 4 years ago![]()
dependent packages 14
total releases 14
most recent commit 4 days ago![]()
dependent packages 5
total releases 14
most recent commit 4 years ago![]()
most recent commit 2 years ago![]()
most recent commit 2 years ago![]()
most recent commit 3 years ago![]()
most recent commit 4 years ago![]()
most recent commit 2 years ago![]()
most recent commit 4 years ago![]()
most recent commit a year ago![]()
most recent commit 2 years ago![]()
most recent commit 4 years ago![]()
most recent commit 4 years ago![]()
most recent commit 4 years ago![]()
most recent commit 5 years ago![]()
most recent commit 3 years ago![]()
most recent commit a year ago![]()
most recent commit a year ago![]()
most recent commit 9 months ago![]()
most recent commit 5 years ago![]()
most recent commit 2 years ago![]()
most recent commit a year ago![]()
most recent commit 6 years ago![]()
most recent commit 3 years ago![]()
most recent commit 10 years ago![]()
most recent commit 10 months ago![]()
most recent commit a year ago![]()
most recent commit 5 years ago![]()
most recent commit 3 years ago![]()
most recent commit 4 years ago![]()
most recent commit 2 years ago![]()
most recent commit 3 years ago![]()
most recent commit 4 months ago![]()
most recent commit 8 years ago![]()
most recent commit 2 years ago![]()
most recent commit 4 years ago![]()
most recent commit 5 years ago![]()
most recent commit 5 years ago![]()
most recent commit 3 years ago![]()
most recent commit 4 years ago![]()
most recent commit 3 years ago![]()
most recent commit 5 years ago![]()
most recent commit 3 years ago![]()
most recent commit 5 years ago![]()
most recent commit a year ago![]()
most recent commit 2 years ago![]()
most recent commit a year ago![]()
Categories
Top Programming Languages