!MfVXcmpKuyudZHcqil:matrix.org

The K Framework User Group

317 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

428 users have interacted with this room.
Page 13
MXIDAvatarDisplay NamePower Level
@pmackay1982:matrix.org@pmackay1982:matrix.orgpmackay1982User(0)
@pmeredit:matrix.org@pmeredit:matrix.orgpmereditUser(0)
@poppinforapples:matrix.org@poppinforapples:matrix.orgpoppinforapplesUser(0)
@pothyurf:cybre.space@pothyurf:cybre.spacepothyurfUser(0)
@quantifier_:matrix.org@quantifier_:matrix.orgquantifier_User(0)
@_slack_runtimeverification_U9HTHFUBS:matrix.org@_slack_runtimeverification_U9HTHFUBS:matrix.orgradu.mereutaUser(0)
@rainbreak:matrix.org@rainbreak:matrix.orgrainUser(0)
@_slack_runtimeverification_U0269R7CNNB:matrix.org@_slack_runtimeverification_U0269R7CNNB:matrix.orgraoul.schaffranekUser(0)
@rawrior:matrix.org@rawrior:matrix.orgrawriorUser(0)
@rencugamob1981:matrix.org@rencugamob1981:matrix.orgrencugamob1981User(0)
@resample:nitro.chat@resample:nitro.chatresampleUser(0)
@ricky2862:matrix.org@ricky2862:matrix.orgricky2862User(0)
@riib11:matrix.org@riib11:matrix.orgriib11User(0)
@_slack_runtimeverification_UFTN1UV4H:matrix.org@_slack_runtimeverification_UFTN1UV4H:matrix.orgrikard.hjortUser(0)
@_slack_runtimeverification_U015K66FZTN:matrix.org@_slack_runtimeverification_U015K66FZTN:matrix.orgrikard.hjort760User(0)
@ringo:matrix.allmende.io@ringo:matrix.allmende.ioringoUser(0)
@riot.ehildenb:matrix.org@riot.ehildenb:matrix.orgriot.ehildenbUser(0)
@rudolph9:matrix.org@rudolph9:matrix.orgrudolph9User(0)
@ryanberryhill:matrix.org@ryanberryhill:matrix.orgryanberryhillUser(0)
@ryuya:matrix.org@ryuya:matrix.orgryuyaUser(0)