!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 5
MXIDAvatarDisplay NamePower Level
@charleshoskinson:matrix.org@charleshoskinson:matrix.orgcharleshoskinsonUser(0)
@charlotte_ldmc:matrix.org@charlotte_ldmc:matrix.orgcharlotte_ldmcUser(0)
@chexxor:matrix.org@chexxor:matrix.orgchexxorUser(0)
@chexxor_web:matrix.org@chexxor_web:matrix.orgchexxor_webUser(0)
@chrislundkvist:matrix.org@chrislundkvist:matrix.orgchrislundkvistUser(0)
@chunmiao:matrix.org@chunmiao:matrix.orgchunmiaoUser(0)
@ciet:privacytools.io@ciet:privacytools.iocietUser(0)
@cryptocatty:matrix.org@cryptocatty:matrix.orgcryptocattyUser(0)
@curiousfellow:matrix.org@curiousfellow:matrix.orgcuriousfellowUser(0)
@cynthia657:matrix.org@cynthia657:matrix.orgcynthia657User(0)
@daejun.park:matrix.org@daejun.park:matrix.orgdaejun.parkUser(0)
@_slack_runtimeverification_U7M49CGSD:matrix.org@_slack_runtimeverification_U7M49CGSD:matrix.orgdaejun.parkUser(0)
@dag:diasp.in@dag:diasp.indagUser(0)
@_slack_runtimeverification_U7XNEMJHL:matrix.org@_slack_runtimeverification_U7XNEMJHL:matrix.orgdenis.bogdanasUser(0)
@derek.s:matrix.org@derek.s:matrix.orgderek.sUser(0)
@detlev:converser.eu@detlev:converser.eudetlevUser(0)
@dfava:matrix.org@dfava:matrix.orgdfavaUser(0)
@dguido:matrix.org@dguido:matrix.orgdguidoUser(0)
@dlucanu:matrix.org@dlucanu:matrix.orgdlucanuUser(0)
@douglassmith:matrix.org@douglassmith:matrix.orgdouglassmithUser(0)