!MfVXcmpKuyudZHcqil:matrix.org

The K Framework User Group

329 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 1
MXIDAvatarDisplay NamePower Level
@slackbot:matrix.org@slackbot:matrix.orgSlack IntegrationAdmin(100)
@brandon.moore:matrix.org@brandon.moore:matrix.orgbrandon.mooreAdmin(100)
@phild:matrix.org@phild:matrix.orgphildAdmin(100)
@rvadmin:matrix.org@rvadmin:matrix.orgrvadminAdmin(100)
@1inguini:matrix.juggler.jp@1inguini:matrix.juggler.jp1inguiniUser(0)
@arxenix:matrix.org@arxenix:matrix.orgUser(0)
@bunda:matrix.org@bunda:matrix.orgUser(0)
@cychan2:matrix.org@cychan2:matrix.orgUser(0)
@okram:matrix.org@okram:matrix.orgUser(0)
@pinaganti:matrix.org@pinaganti:matrix.orgUser(0)
@elicha:matrix.org@elicha:matrix.orgAICHA BOUICHOUUser(0)
@kelley:matrix.org@kelley:matrix.orgANNUser(0)
@alan-jowett:matrix.org@alan-jowett:matrix.orgAlan JowettUser(0)
@alessioc:matrix.org@alessioc:matrix.orgAlessio ColtellacciUser(0)
@alexeuler:matrix.org@alexeuler:matrix.orgAlexeyUser(0)
@ledgerwatch:matrix.org@ledgerwatch:matrix.orgAlexey AkhunovUser(0)
@kheradmand:matrix.org@kheradmand:matrix.orgAliUser(0)
@asteel:matrix.org@asteel:matrix.orgAndreas SthlbrUser(0)
@ahelwer:matrix.org@ahelwer:matrix.orgAndrew HelwerUser(0)
@cameronsalisbury:matrix.org@cameronsalisbury:matrix.orgCameronUser(0)