CakeML
CakeML - verified compiler, and theorem proving in higher-order logic
CommunityNewsSoundboardcreated Nov 7, 2023id 1171421764379742258
189
members
19
online now
10.1%
active ratio
66
legitimacy score
Low
verification gate
23h ago
last measured
How the legitimacy score of 66 is calculated
Activity +35 10.1% onlineVerified / partner +0 noAge +7 2.9 yrSize +9 189 membersCommunity status +5 communityTrack record +10 measured 45 day(s) over 66d
📈 Measured live across 45 days (66d tracked, 46 snapshots).
Bigger than 46% of Science servers (2,626 measured)
Member history
Measured 68 times; its member count changed 5 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/a8UUs6Ce6m | invite | live | 23h 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.