We do functional programming together!
#1,912 in Education
Oct 4 – 11, 2026
Approximately 4,865 members in this snapshot.
Membership decreased by 5 between October 4, 2026 and October 11, 2026.
Ranks #1912 by membership among 4,104 Education servers tracked by Deepcord.
Member change includes joins and departures across observations roughly a week apart. The growth rate is normalized to seven days.
Last observed: October 11, 2026. Compared with October 4, 2026.
Approximately 4,865 members in this snapshot. Last observed: October 11, 2026.
Membership decreased by 5 between October 4, 2026 and October 11, 2026. This is net membership change, including joins and departures.
Ranks #1912 by membership among 4,104 Education servers tracked by Deepcord.
Typelevel was created on October 11, 2019.
Use the Join Server button at the top of this page for an instant invite to Typelevel on Discord. Joining is free.
