Typelevel
We do functional programming together!
discord.gg/typelevel-632277896739946517Threads EnabledRole IconsCommunityBannerAnimated IconDiscoverableWelcome Screen EnabledMember Verification Gate EnabledInvite SplashNewsAuto Moderationcreated Oct 11, 2019id 632277896739946517
4,641
members
410
online now
8.8%
active ratio
87
legitimacy score
7
Nitro boosts
Low
verification gate
2h ago
last measured
How the legitimacy score of 87 is calculated
Activity +35 8.8% onlineVerified / partner +0 noAge +15 7.1 yrSize +15 4,641 membersCommunity status +10 discoverableTrack record +12 measured 68 day(s) over 88d
Live activity (widget)
📈 Measured live across 68 days (88d tracked, 69 snapshots). Listed in Discord Server Discovery (seen Nov 5, 2026). 🔗 Linked 9 times across the web. 😀 95 custom emojis.
Bigger than 92% of Science servers (2,644 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 |
|---|---|---|
| World of Warcraft: Forever | 2 | Nov 6, 2026 |
| Foundation | 1 | Nov 6, 2026 |
| Overwatch | 3 | Nov 6, 2026 |
| VALORANT | 1 | Nov 6, 2026 |
| THE FINALS | 1 | Nov 5, 2026 |
| Heroes of the Storm | 1 | Nov 5, 2026 |
| Aseprite | 1 | Nov 4, 2026 |
| Dispatch | 1 | Nov 4, 2026 |
| Frosthaven | 1 | Nov 3, 2026 |
| XCOM 2 | 1 | Nov 3, 2026 |
| World of Warcraft | 1 | Nov 3, 2026 |
| Dead by Daylight | 1 | Nov 3, 2026 |
| Cyberpunk 2077 | 1 | Nov 2, 2026 |
| Phantom Blade Zero | 1 | Nov 1, 2026 |
| Crab Champions | 1 | Oct 31, 2026 |
| Europa Universalis V | 1 | Oct 31, 2026 |
| WARDOGS | 1 | Oct 31, 2026 |
| Battlefield 6 | 1 | Oct 31, 2026 |
| Nomad Drive | 1 | Oct 30, 2026 |
| The Binding of Isaac: Rebirth | 1 | Oct 30, 2026 |
| World of Warcraft Classic | 1 | Oct 30, 2026 |
| Balatro | 1 | Oct 30, 2026 |
| Umamusume: Pretty Derby | 1 | Oct 29, 2026 |
| Tabletop Simulator | 1 | Oct 29, 2026 |
| Apex Legends | 1 | Oct 28, 2026 |
| The Witcher 3: Wild Hunt | 1 | Oct 27, 2026 |
| Aniimo | 1 | Oct 27, 2026 |
| Assetto Corsa Competizione | 1 | Oct 25, 2026 |
| Dota 2 | 1 | Oct 25, 2026 |
| League of Legends | 1 | Oct 24, 2026 |
Member history
📉 Down 5% from its measured peak of 4,885 members on Aug 10, 2026.
Measured 158 times; its member count changed 58 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/typelevel-632277896739946517 | vanity · primary | live | 2h ago |
| discord.gg/QNnHKHq5Ts | invite | live | 87d ago |
| discord.gg/GYD4J9w8EK | invite | live | 87d ago |
| discord.gg/hAKabfGjUw | invite | live | 87d ago |
| discord.gg/wsVZSEx4Nw | invite | live | 88d ago |
| discord.gg/HmPs7rAtEY | invite | live | 88d ago |
| discord.gg/XF3CXcMzqD | invite | live | 88d ago |
| discord.gg/wKn3cpfRVz | invite | live | 88d ago |
| discord.gg/7qNAFsYkTn | invite | live | 88d ago |
Embed & API. 
<img src="https://guildregister.com/badge/632277896739946517.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.