!MfVXcmpKuyudZHcqil:matrix.org

The K Framework User Group

308 Members
The K Framework (kframework.org) and its applications to smart contracts.  EVM: github.com/kframework/evm-semantics Viper: github.com/kframework/viper-semantics45 Servers

All Pages
ServerNumber of Users in this Room
matrix.orgmatrix.org247
kde.orgkde.org4
ru-matrix.orgru-matrix.org3
chat.weho.stchat.weho.st2
converser.euconverser.eu2
cybre.spacecybre.space2
diasp.indiasp.in2
ggc-project.deggc-project.de2
hackerspaces.behackerspaces.be2
matrix.allmende.iomatrix.allmende.io2
matrix.kiwifarms.netmatrix.kiwifarms.net2
nerdsin.spacenerdsin.space2
netzgemeinde.eunetzgemeinde.eu2
nitro.chatnitro.chat2
tchncs.detchncs.de2
asra.grasra.gr1
avareborn.deavareborn.de1
banter.citybanter.city1
chat.datenburg.orgchat.datenburg.org1
chat.mistli.netchat.mistli.net1
economicspace.networkeconomicspace.network1
half-shot.ukhalf-shot.uk1
linuxgaming.lifelinuxgaming.life1
matrix.dapp.org.ukmatrix.dapp.org.uk1
matrix.freyachat.eumatrix.freyachat.eu1
matrix.juggler.jpmatrix.juggler.jp1
matrix.parity.iomatrix.parity.io1
matrix.valenciawireless.orgmatrix.valenciawireless.org1
matrixim.ccmatrixim.cc1
mental.afmental.af1
mozilla.orgmozilla.org1
netwhood.onlinenetwhood.online1
openintents.modular.imopenintents.modular.im1
poddery.compoddery.com1
potatofrom.spacepotatofrom.space1
privacytools.ioprivacytools.io1
rekt.liverekt.live1
tedomum.nettedomum.net1
that.worldthat.world1
ubports.chatubports.chat1
unixpimps.netunixpimps.net1
utwente.ioutwente.io1
web3.foundationweb3.foundation1
zemos.netzemos.net1