!MfVXcmpKuyudZHcqil:matrix.org

The K Framework User Group

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

Page 1
ServerNumber of Users in this Room
matrix.orgmatrix.org153
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.dapp.org.ukmatrix.dapp.org.uk2
matrix.kiwifarms.netmatrix.kiwifarms.net2
nerdsin.spacenerdsin.space2
netzgemeinde.eunetzgemeinde.eu2
perthchat.orgperthchat.org2
privacytools.ioprivacytools.io2
sibnsk.netsibnsk.net2
tchncs.detchncs.de2
tomesh.nettomesh.net2
asra.grasra.gr1
avareborn.deavareborn.de1
banter.citybanter.city1
chat.datenburg.orgchat.datenburg.org1
economicspace.networkeconomicspace.network1
feneas.orgfeneas.org1
half-shot.ukhalf-shot.uk1
halogen.cityhalogen.city1
linuxgaming.lifelinuxgaming.life1
matrix.parity.iomatrix.parity.io1
matrix.valenciawireless.orgmatrix.valenciawireless.org1