!MfVXcmpKuyudZHcqil:matrix.org

The K Framework User Group

316 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

427 users have interacted with this room.
Page 8
MXIDAvatarDisplay NamePower Level
@grag:kde.org@grag:kde.orggragUser(0)
@_slack_runtimeverification_U5FNFKKC5:matrix.org@_slack_runtimeverification_U5FNFKKC5:matrix.orggrigore.rosuUser(0)
@hackphobia:matrix.org@hackphobia:matrix.orghackphobicUser(0)
@hackphobic:matrix.org@hackphobic:matrix.orghackphobicUser(0)
@hierophantos:matrix.org@hierophantos:matrix.orghierophantosUser(0)
@huxinwen:matrix.org@huxinwen:matrix.orghuxinwenUser(0)
@huyage:mozilla.org@huyage:mozilla.orghuyageUser(0)
@hylshols7qui:matrix.org@hylshols7qui:matrix.orghylshols7quiUser(0)
@hyperisco:matrix.org@hyperisco:matrix.orghyperiscoUser(0)
@iarp:avareborn.de@iarp:avareborn.deiarpUser(0)
@igor:ru-matrix.org@igor:ru-matrix.orgigorUser(0)
@imlostlmao:matrix.org@imlostlmao:matrix.orgimlostlmaoUser(0)
@indolering:matrix.org@indolering:matrix.orgindolering (Old)User(0)
@instein:matrix.org@instein:matrix.orginsteinUser(0)
@ircer:nerdsin.space@ircer:nerdsin.spaceircerUser(0)
@ist5shreawf:converser.eu@ist5shreawf:converser.euist5shreawfUser(0)
@jael:netzgemeinde.eu@jael:netzgemeinde.eujaelUser(0)
@jake.gillberg:matrix.org@jake.gillberg:matrix.orgjake.gillbergUser(0)
@japesinator:matrix.org@japesinator:matrix.orgjapesinatorUser(0)
@javbit:matrix.org@javbit:matrix.orgjavbitUser(0)