!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 4
MXIDAvatarDisplay NamePower Level
@anony543:matrix.org@anony543:matrix.organony543User(0)
@apache8080:matrix.org@apache8080:matrix.orgapache8080User(0)
@archonaeon:matrix.org@archonaeon:matrix.orgarchonaeonUser(0)
@asky:matrix.org@asky:matrix.orgaskyUser(0)
@avellana:matrix.org@avellana:matrix.orgavellanaUser(0)
@b00tr:matrix.org@b00tr:matrix.orgb00trUser(0)
@babelkushal:matrix.org@babelkushal:matrix.orgbabelkushalUser(0)
@babypumpkin:matrix.org@babypumpkin:matrix.orgbabypumpk1nUser(0)
@bamboosp:matrix.org@bamboosp:matrix.orgbamboospUser(0)
@behaylu123:matrix.org@behaylu123:matrix.orgbehaylu123User(0)
@bhandalc:matrix.org@bhandalc:matrix.orgbhandalcUser(0)
@blazin420:matrix.org@blazin420:matrix.orgblazin420User(0)
@blim:rekt.live@blim:rekt.liveblimUser(0)
@_slack_runtimeverification_U5GEX1LJ3:matrix.org@_slack_runtimeverification_U5GEX1LJ3:matrix.orgbrandon.mooreUser(0)
@_slack_runtimeverification_U02CDU166EL:matrix.org@_slack_runtimeverification_U02CDU166EL:matrix.orgbruce.collieUser(0)
@buggeas40d:chat.weho.st@buggeas40d:chat.weho.stbuggeas40dUser(0)
@carlos:nerdsin.space@carlos:nerdsin.spacecarlosUser(0)
@cawal:banter.city@cawal:banter.citycawalUser(0)
@cbw124:matrix.org@cbw124:matrix.orgcbw124User(0)
@cbwilliams:matrix.org@cbwilliams:matrix.orgcbwilliamsUser(0)