!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 9
MXIDAvatarDisplay NamePower Level
@jayphbee:matrix.org@jayphbee:matrix.orgjayphbeeUser(0)
@jdneidig:matrix.org@jdneidig:matrix.orgjdneidigUser(0)
@jeeg:kde.org@jeeg:kde.orgjeegUser(0)
@jeremy:nitro.chat@jeremy:nitro.chatjeremyUser(0)
@jerry.jung:matrix.org@jerry.jung:matrix.orgjerry.jungUser(0)
@jesse.sigal:matrix.org@jesse.sigal:matrix.orgjesse.sigalUser(0)
@jgorzny:matrix.org@jgorzny:matrix.orgjgorznyUser(0)
@jonnydubowsky:matrix.org@jonnydubowsky:matrix.orgjonnydubowskyUser(0)
@kademlia_mkr:matrix.org@kademlia_mkr:matrix.orgkademlia_mkrUser(0)
@kanshuanglong:matrix.org@kanshuanglong:matrix.orgkanshuanglongUser(0)
@kenman79:matrix.org@kenman79:matrix.orgkenman79User(0)
@kermit:kde.org@kermit:kde.orgkermitUser(0)
@koding:matrix.org@koding:matrix.orgkodingUser(0)
@kuldeepsinh:matrix.org@kuldeepsinh:matrix.orgkuldeepsinhUser(0)
@kunwangyml:matrix.org@kunwangyml:matrix.orgkunwangymlUser(0)
@kushalbabel:matrix.org@kushalbabel:matrix.orgkushalbabelUser(0)
@labs:matrixim.cc@labs:matrixim.cclabsUser(0)
@larissa:openintents.modular.im@larissa:openintents.modular.imlarissaUser(0)
@leskmleo:matrix.org@leskmleo:matrix.orgleskmleoUser(0)
@lingbao:matrix.org@lingbao:matrix.orglingbaoUser(0)