disdex
discord server index
CakeML

CakeML

CakeML - verified compiler, and theorem proving in higher-order logic

a8UUs6Ce6m
194
members
26
online
0
boosts
Nov 07, 2023
created
Mar 30, 2026
added to disdex
May 02, 2026
last checked

members + online

not enough history yet — points appear as we scrape

games (0)

no games associated with this server

Discord Compiler banner
Discord Compiler
Discord Compiler
296 members40 online
ix compiler
ix compiler
2 members1 online
null theorem
null theorem
1 members0 online
Liquid Theorem
Liquid Theorem
30 members4 online
Compiler Inc.
Compiler Inc.
20 members3 online
Monkey Theorem Studio
Monkey Theorem Studio
35 members10 online
Roblox Compiler Collection
Roblox Compiler Collection
139 members44 online
compiler-research
compiler-research
210 members38 online
CAN WE GET MUCH HIGHER?
CAN WE GET MUCH HIGHER?
76 members12 online
Go Higher
Go Higher
22 members4 online
LOGIC
LOGIC
90 members19 online
💎・LOGIC・💎
💎・LOGIC・💎
18 members6 online

invites (1)

CodeInviterStatus
a8UUs6Ce6m@xrchzalive