Functional Programming
All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.
SoundboardNewsCommunityMember Verification Gate EnabledAuto ModerationInvite SplashAnimated IconDiscoverablecreated Feb 11, 2017id 280033776820813825
14,208
members
1,813
online now
12.8%
active ratio
88
legitimacy score
3
Nitro boosts
High
verification gate
1h ago
last measured
How the legitimacy score of 88 is calculated
Activity +35 12.8% onlineVerified / partner +0 noAge +15 9.7 yrSize +17 14,208 membersCommunity status +10 discoverableTrack record +11 measured 65 day(s) over 72d
Live activity (widget)
1,707
online (widget)
2
voice channels
📈 Measured live across 65 days (72d tracked, 66 snapshots). 🔗 Linked 7 times across the web. 😀 54 custom emojis.
Bigger than 95% of Education Study servers (8,594 measured)
Now playing
Games this server has been measured playing
Historical record from our measurements over time — separate from the live “Now playing” list above.
| Game | Peak players | Last seen |
|---|---|---|
| Deadlock | 1 | Oct 22, 2026 |
| Orb of Creation | 1 | Oct 21, 2026 |
| VRChat | 1 | Oct 21, 2026 |
| Counter-Strike 2 | 1 | Oct 19, 2026 |
| World of Warcraft | 1 | Oct 18, 2026 |
| Cyberpunk 2077 | 1 | Oct 18, 2026 |
| It Takes Two | 1 | Oct 17, 2026 |
| Escape from Tarkov | 1 | Oct 17, 2026 |
| League of Legends | 1 | Oct 11, 2026 |
| EA Sports FC 26 | 1 | Oct 10, 2026 |
| Hearts of Iron IV | 1 | Oct 9, 2026 |
| VRCFaceTracking | 1 | Oct 9, 2026 |
| Quake | 1 | Oct 9, 2026 |
| PokerStars | 1 | Oct 8, 2026 |
| Rocket League | 1 | Oct 6, 2026 |
| Satisfactory | 1 | Oct 5, 2026 |
| AION 2 | 1 | Oct 5, 2026 |
Member history
Measured 191 times; its member count changed 60 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/FvT2Y5N | invite | live | 1h ago |
| discord.gg/8w9tRKa | invite | live | 71d ago |
| discord.gg/eTbWSZj | invite | live | 71d ago |
| discord.gg/xQwR7P7 | invite | live | 72d ago |
| discord.gg/WDqsWsnZfR | invite | live | 72d ago |
| discord.gg/kENVVQ5 | invite | live | 72d ago |
| discord.gg/K6XHBSh | invite | live | 72d ago |
| discord.gg/pKYf3zDQU7 | invite | live | 73d ago |
Same-operator servers
Other servers whose invites were created by the same account — often one operator or a network.
 Godot Café | 83,179 |
 QMK | 27,302 |
 ReasonMLverified | 7,529 |
 zio | 5,066 |
 Low-Level Programming | 3,172 |
 Data & Dev Ops | 1,930 |
 Linsa | 1,279 |
 Formium | 1,136 |
 nikiv.dev | 81 |
 MDX Conf | 36 |
Embed & API. 
<img src="https://guildregister.com/badge/280033776820813825.svg"> · JSON · Own this server? Claim itFirst seen Aug 10, 2026. Member and online counts are Discord's own approximate counts, measured from the public invite API. GuildRegister is not affiliated with Discord.