!MfVXcmpKuyudZHcqil:matrix.org

The K Framework User Group

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

144 users have interacted with this room.
Page 1
MXIDAvatarDisplay NamePower Level
@slackbot:matrix.org@slackbot:matrix.orgSlack IntegrationAdmin(100)
@brandon.moore:matrix.org@brandon.moore:matrix.orgbrandon.mooreAdmin(100)
@phild:matrix.org@phild:matrix.orgphildAdmin(100)
@bunda:matrix.org@bunda:matrix.orgUser(0)
@cychan2:matrix.org@cychan2:matrix.orgUser(0)
@pinaganti:matrix.org@pinaganti:matrix.orgUser(0)
@ledgerwatch:matrix.org@ledgerwatch:matrix.orgAlexey AkhunovUser(0)
@icetan:zixi.ng@icetan:zixi.ngChrisUser(0)
@gcolvin:matrix.org@gcolvin:matrix.orgGreg ColvinUser(0)
@Grigore:matrix.org@Grigore:matrix.orgGrigoreUser(0)
@kjekac:matrix.org@kjekac:matrix.orgJack EkUser(0)
@mjackson:matrix.org@mjackson:matrix.orgMarkUser(0)
@rchadwick:matrix.org@rchadwick:matrix.orgMarvinUser(0)
@veox:matrix.org@veox:matrix.orgNoel MaerskUser(0)
@onetom:matrix.org@onetom:matrix.orgTamas HermanUser(0)
@sorpaas:matrix.parity.io@sorpaas:matrix.parity.ioWei TangUser(0)
@sorpaas:that.world@sorpaas:that.worldWei TangUser(0)
@ad5twoknebor:kde.org@ad5twoknebor:kde.orgad5twokneborUser(0)
@_slack_formal-systems-lab_U5JQGNHDK:matrix.org@_slack_formal-systems-lab_U5JQGNHDK:matrix.orgaliUser(0)
@ammkrn:matrix.org@ammkrn:matrix.orgammkrnUser(0)