dependently-typed

CommunityNewscreated Aug 19, 2021id 877764758344974346

441

members

online now

17.0%

active ratio

legitimacy score

Low

verification gate

18h ago

last measured

How the legitimacy score of 73 is calculated

Activity +35 17.0% onlineVerified / partner +0 noAge +13 5.2 yrSize +11 441 membersCommunity status +5 communityTrack record +10 measured 42 day(s) over 64d

📈 Measured live across 42 days (64d tracked, 44 snapshots). 🔗 Linked 2 times across the web.

Tech Programming Programming Computer Science Mathematics EN

Bigger than 52% of Tech Programming servers (17,691 measured)

Member history

Measured 65 times; its member count changed 22 times.

Invites seen

Code	Type	Status	Last live
discord.gg/cyNvsmtjqY	invite	live	18h ago

Embed & API.

<img src="https://guildregister.com/badge/877764758344974346.svg"> · JSON · Own this server? Claim it

First 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.