!MfVXcmpKuyudZHcqil:matrix.org

The K Framework User Group

325 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 2
MXIDAvatarDisplay NamePower Level
@carlosdevs:matrix.org@carlosdevs:matrix.orgCarlos Dominguez EnriquezUser(0)
@icetan:zixi.ng@icetan:zixi.ngChrisUser(0)
@padresmurfa:matrix.org@padresmurfa:matrix.orgDavid BrandtUser(0)
@david:web3.foundation@david:web3.foundationDavid | W3F - OOO until 6 JanUser(0)
@enzoevers:matrix.org@enzoevers:matrix.orgEnzo EversUser(0)
@fanfan01:matrix.org@fanfan01:matrix.orgFan FanUser(0)
@gcolvin:matrix.org@gcolvin:matrix.orgGreg ColvinUser(0)
@hyperstructured.greg:matrix.org@hyperstructured.greg:matrix.orgGregory MakodzebaUser(0)
@Grigore:matrix.org@Grigore:matrix.orgGrigoreUser(0)
@jryans:matrix.org@jryans:matrix.orgJ. Ryan StinnettUser(0)
@jason:zemos.net@jason:zemos.netJasonUser(0)
@jeanas:matrix.org@jeanas:matrix.orgJean Abou SamraUser(0)
@hellohow:matrix.org@hellohow:matrix.orgJianHong ZhaoUser(0)
@montlyly:matrix.org@montlyly:matrix.orgJosselin FeistUser(0)
@lesleylai:matrix.org@lesleylai:matrix.orgLesley LaiUser(0)
@rchadwick:matrix.org@rchadwick:matrix.orgMarvinUser(0)
@mslaz:matrix.org@mslaz:matrix.orgMateusz ŚlażyńskiUser(0)
@metaweta:matrix.org@metaweta:matrix.orgMike StayUser(0)
@nicolas.rouquette:matrix.org@nicolas.rouquette:matrix.orgNicolas RouquetteUser(0)
@veox:matrix.org@veox:matrix.orgNoel MaerskUser(0)