Functional Programming servers
8 measured server(s) with the Functional Programming sub-topic, ranked by real members. Browse topics →
| Server | Members | Online | Active |
|---|---|---|---|
1 PureScript | 1,493 | 194 | 13.0% |
2 concatenative | 913 | 181 | 19.8% |
3 Univalent Agda | 874 | 141 | 16.1% |
4 coalton-lang | 295 | 56 | 19.0% |
5 discord-haskell | 94 | 31 | 33.0% |
6 Haskell-jp | 48 | 8 | 16.7% |
7 TalTech ITI0212 Functional Programming - 2023 | 36 | 10 | 27.8% |
8 TalTech ITI0212 Functional Programming 2025 | 24 | 3 | 12.5% |