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