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,486 | 184 | 12.4% |
2 concatenative | 923 | 198 | 21.5% |
3 Univalent Agda | 874 | 143 | 16.4% |
4 coalton-lang | 300 | 57 | 19.0% |
5 discord-haskell | 94 | 23 | 24.5% |
6 Haskell-jp | 48 | 9 | 18.8% |
7 TalTech ITI0212 Functional Programming - 2023 | 35 | 8 | 22.9% |
8 TalTech ITI0212 Functional Programming 2025 | 24 | 7 | 29.2% |