 | 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 |
| @oharthit:matrix.org |  | Oh Arthit | User(0) |
| @oscar-benderstone:matrix.org |  | Oscar Bender-Stone | User(0) |
| @rpandw:matrix.org |  | Rpan Du Wana | User(0) |
| @sashmit1:matrix.org |  | Sashmit Bhaduri | User(0) |
| @silviabh:matrix.org |  | Silvia Barredo | User(0) |
| @onetom:matrix.org |  | Tamas Herman | User(0) |
| @waldenyan20:matrix.org |  | Walden Yan | User(0) |
| @sorpaas:that.world |  | Wei Tang | User(0) |
| @sorpaas:matrix.parity.io |  | Wei Tang (account deprecated, use @wei:parity.io for work and @wei:pacna.org for private) | User(0) |
| @yekerr:matrix.org |  | Zixin Huang | User(0) |
| @ad5twoknebor:kde.org |  | ad5twoknebor | User(0) |
| @airbreather:matrix.org |  | airbreather | User(0) |
| @akigyosi:matrix.org |  | akigyosi | User(0) |
| @alex_chambet:matrix.org |  | alex_chambet | User(0) |
| @alexos:matrix.org |  | alexos | User(0) |
| @alfa77qwx:matrix.org |  | alfa77qwx | User(0) |
| @alois:matrix.kiwifarms.net |  | alois | User(0) |
| @amb007:matrix.org |  | amb007 | User(0) |
| @amelie_ledein:matrix.org |  | amelie_ledein | User(0) |
| @_slack_runtimeverification_UDKJPMGMS:matrix.org |  | ana.pantilie95 | User(0) |