 | 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-semantics | 45 Servers |
| 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-semantics | 45 Servers |
| MXID | Avatar | Display Name | Power Level |
| @louis:potatofrom.space |  | louis | User(0) |
| @louisa:hackerspaces.be |  | louisa | User(0) |
| @lslightly:matrix.org |  | lslightly | User(0) |
| @lstegeman:matrix.org |  | lstegeman | User(0) |
| @lucach:matrix.org |  | lucach | User(0) |
| @luffy:chat.mistli.net |  | luffy | User(0) |
| @lynnk:matrix.org |  | lynnk | User(0) |
| @malefizer:matrix.org |  | malefizer | User(0) |
| @manasvi:matrix.org |  | manasvi | User(0) |
| @manhtv:matrix.org |  | manhtv | User(0) |
| @marco.feliu:matrix.org |  | marco.feliu | User(0) |
| @marian:cybre.space |  | marian | User(0) |
| @marsbwu:matrix.org |  | marsbwu | User(0) |
| @_slack_runtimeverification_UFTTNE71Q:matrix.org |  | martin | User(0) |
| @martin_vahi:matrix.org |  | martin_vahi | User(0) |
| @martina:tchncs.de |  | martina | User(0) |
| @mt:unixpimps.net |  | matekdk | User(0) |
| @matthewfl:matrix.org |  | matthewfl | User(0) |
| @maurelian:matrix.org |  | maurelian | User(0) |
| @_slack_runtimeverification_U0231EMRYF6:matrix.org |  | max.kopinsky | User(0) |