!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
Page 1
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