!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 7
MXIDAvatarDisplay NamePower Level
@extio1:matrix.org@extio1:matrix.orgextio1User(0)
@ezulkosk:matrix.org@ezulkosk:matrix.orgezulkoskUser(0)
@fallensky2077:matrix.org@fallensky2077:matrix.orgfallensky2077User(0)
@fengkiej:matrix.org@fengkiej:matrix.orgfengkiejUser(0)
@fhytfbg:matrix.org@fhytfbg:matrix.orgfhytfbgUser(0)
@fiddlemath:matrix.org@fiddlemath:matrix.orgfiddlemathUser(0)
@finlifin:matrix.org@finlifin:matrix.orgfinlifinUser(0)
@fjdxsgsm:matrix.org@fjdxsgsm:matrix.orgfjdxsgsmUser(0)
@_slack_runtimeverification_U050S4KMBAR:matrix.org@_slack_runtimeverification_U050S4KMBAR:matrix.orgfrancois.guyotUser(0)
@franklinchen:matrix.org@franklinchen:matrix.orgfranklinchenUser(0)
@freu:netwhood.online@freu:netwhood.onlinefreuUser(0)
@gandi:ubports.chat@gandi:ubports.chatgandiUser(0)
@garrison:matrix.org@garrison:matrix.orggarrisonUser(0)
@ghassheee:matrix.org@ghassheee:matrix.orgghassheeUser(0)
@ghasshee:matrix.org@ghasshee:matrix.orgghassheeUser(0)
@giannc:matrix.org@giannc:matrix.orggianncUser(0)
@glothit7ok:matrix.allmende.io@glothit7ok:matrix.allmende.ioglothit7okUser(0)
@gn0sis:matrix.org@gn0sis:matrix.orggn0sisUser(0)
@godva:matrix.kiwifarms.net@godva:matrix.kiwifarms.netgodvaUser(0)
@goodegg:matrix.org@goodegg:matrix.orggoodeggUser(0)