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,489 | 155 | 10.4% |
2 concatenative | 917 | 152 | 16.6% |
3 Univalent Agda | 874 | 178 | 20.4% |
4 coalton-lang | 301 | 57 | 18.9% |
5 discord-haskell | 94 | 18 | 19.1% |
6 Haskell-jp | 48 | 8 | 16.7% |
7 TalTech ITI0212 Functional Programming - 2023 | 35 | 6 | 17.1% |
8 TalTech ITI0212 Functional Programming 2025 | 24 | 4 | 16.7% |