Typelevel
We do functional programming together!
discord.gg/typelevel-632277896739946517CommunityThreads EnabledNewsWelcome Screen EnabledDiscoverableMember Verification Gate EnabledAuto ModerationAnimated IconInvite Splashcreated Oct 11, 2019id 632277896739946517
4,865
members
347
online now
7.1%
active ratio
85
legitimacy score
5
Nitro boosts
Low
verification gate
11h ago
last measured
How the legitimacy score of 85 is calculated
Activity +35 7.1% onlineVerified / partner +0 noAge +15 7.0 yrSize +15 4,865 membersCommunity status +10 discoverableTrack record +10 measured 51 day(s) over 66d
Live activity (widget)
📈 Measured live across 51 days (66d tracked, 52 snapshots). 🔗 Linked 9 times across the web. 😀 93 custom emojis.
Bigger than 93% of Science servers (2,623 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 |
|---|---|---|
| Balatro | 1 | Oct 15, 2026 |
| Minecraft | 1 | Oct 15, 2026 |
| Marvel Rivals | 1 | Oct 15, 2026 |
| RuneLite | 1 | Oct 14, 2026 |
| The Witcher 3: Wild Hunt | 1 | Oct 13, 2026 |
| Umamusume: Pretty Derby | 1 | Oct 12, 2026 |
| Dave the Diver | 1 | Oct 12, 2026 |
| YAPYAP | 1 | Oct 12, 2026 |
| AION 2 | 1 | Oct 11, 2026 |
| Against the Storm | 1 | Oct 11, 2026 |
| Battlefield 6 | 1 | Oct 11, 2026 |
| CONTROL RESONANT | 1 | Oct 11, 2026 |
| Factorio | 1 | Oct 11, 2026 |
| Rocket League | 1 | Oct 11, 2026 |
| World of Warcraft Classic | 1 | Oct 11, 2026 |
| VALORANT | 1 | Oct 11, 2026 |
| Euro Truck Simulator 2 | 1 | Oct 10, 2026 |
| League of Legends | 1 | Oct 10, 2026 |
| Star Citizen | 1 | Oct 10, 2026 |
| KovaaK's | 1 | Oct 10, 2026 |
| Graveyard Keeper | 1 | Oct 9, 2026 |
| Dota 2 | 1 | Oct 9, 2026 |
| Dead by Daylight | 1 | Oct 9, 2026 |
| Counter-Strike 2 | 1 | Oct 9, 2026 |
| Apex Legends | 1 | Oct 9, 2026 |
| Project Zomboid | 1 | Oct 8, 2026 |
| The Sims 4 | 1 | Oct 8, 2026 |
| Overwatch | 3 | Oct 7, 2026 |
| Aseprite | 1 | Oct 6, 2026 |
| Age of Empires II: Definitive Edition | 1 | Oct 5, 2026 |
Member history
Measured 107 times; its member count changed 42 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/typelevel-632277896739946517 | vanity · primary | live | 11h ago |
| discord.gg/QNnHKHq5Ts | invite | live | 65d ago |
| discord.gg/GYD4J9w8EK | invite | live | 65d ago |
| discord.gg/hAKabfGjUw | invite | live | 66d ago |
| discord.gg/wsVZSEx4Nw | invite | live | 66d ago |
| discord.gg/HmPs7rAtEY | invite | live | 66d ago |
| discord.gg/XF3CXcMzqD | invite | live | 66d ago |
| discord.gg/wKn3cpfRVz | invite | live | 66d ago |
| discord.gg/7qNAFsYkTn | invite | live | 66d 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.