 | The K Framework User Group | 308 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 | 308 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 |
| Server | Number of Users in this Room |
|---|---|
 mozilla.org | 1 |
 netwhood.online | 1 |
 openintents.modular.im | 1 |
 poddery.com | 1 |
 potatofrom.space | 1 |
 privacytools.io | 1 |
 rekt.live | 1 |
 tedomum.net | 1 |
 that.world | 1 |
 ubports.chat | 1 |
 unixpimps.net | 1 |
 utwente.io | 1 |
 web3.foundation | 1 |
 zemos.net | 1 |
 zixi.ng | 1 |