CakeML
CakeML - verified compiler, and theorem proving in higher-order logic
CommunityNewsSoundboardcreated Nov 7, 2023id 1171421764379742258
184
members
24
online now
13.0%
active ratio
69
legitimacy score
Low
verification gate
5h ago
last measured
How the legitimacy score of 69 is calculated
Activity +35 13.0% onlineVerified / partner +0 noAge +7 3.0 yrSize +9 184 membersCommunity status +5 communityTrack record +12 measured 59 day(s) over 87d
📈 Measured live across 59 days (87d tracked, 60 snapshots).
Bigger than 45% of Science servers (2,644 measured)
Member history
Measured 95 times; its member count changed 8 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/a8UUs6Ce6m | invite | live | 5h ago |
Embed & API. 
<img src="https://guildregister.com/badge/1171421764379742258.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.