!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

275 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)
@rvadmin:matrix.org@rvadmin:matrix.orgrvadminAdmin(100)
@arxenix:matrix.org@arxenix:matrix.orgUser(0)
@bunda:matrix.org@bunda:matrix.orgUser(0)
@cychan2:matrix.org@cychan2:matrix.orgUser(0)
@okram:matrix.org@okram:matrix.orgUser(0)
@pinaganti:matrix.org@pinaganti:matrix.orgUser(0)
@ledgerwatch:matrix.org@ledgerwatch:matrix.orgAlexey AkhunovUser(0)
@asteel:matrix.org@asteel:matrix.orgAndreas SthlbrUser(0)
@icetan:zixi.ng@icetan:zixi.ngChrisUser(0)
@david:web3.foundation@david:web3.foundationDavidUser(0)
@gcolvin:matrix.org@gcolvin:matrix.orgGreg ColvinUser(0)
@Grigore:matrix.org@Grigore:matrix.orgGrigoreUser(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:that.world@sorpaas:that.worldWei TangUser(0)
@sorpaas:matrix.parity.io@sorpaas:matrix.parity.ioWei TangUser(0)