dependently-typed

CommunityNewscreated Aug 19, 2021id 877764758344974346

441

members

online now

8.8%

active ratio

legitimacy score

Low

verification gate

19h ago

last measured

How the legitimacy score of 76 is calculated

Activity +35 8.8% onlineVerified / partner +0 noAge +13 5.2 yrSize +11 441 membersCommunity status +5 communityTrack record +12 measured 55 day(s) over 85d

📈 Measured live across 55 days (85d tracked, 57 snapshots). 🔗 Linked 2 times across the web.

Tech Programming Programming Computer Science Mathematics EN

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

Member history

Measured 91 times; its member count changed 25 times.

Invites seen

Code	Type	Status	Last live
discord.gg/cyNvsmtjqY	invite	live	19h 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.