runtimeverification/iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
HTMLNOASSERTION
Stargazers
- adragomirBucharest
- arden深圳市土椒科技有限公司
- ayberktUniversity of Birmingham
- barantaranKyrgyzstan
- boaerosukeFraunhofer Institut Fokus
- bonedaddy@sol-farm
- ceilican
- chrisnewInterWebs Ltd.
- cloudheadRadicle
- geekbull@geekbull
- HarryRUnited Kingdom
- hierophantos
- hongxuchenShenzhen, Guangdong, China
- jdailyKarhoo, Inc.
- jmitchellSeattle
- JohnnyZhaoTokyo
- loredanacirsteaEurope
- mgosk
- miniflycnHuatai Securities
- mogadget
- Nipolbean the DAO
- opt9
- orakle
- progerSupercomputer City
- qsphan@facebook
- sachaarbonel@GetStream
- samz-me
- scbafk
- sdasgup3Google Inc.
- SteDev78ESQlabs GmbH
- takecoreJapan
- takenobu-hs
- ToJen@swarmzero
- tschacht
- withmetta
- YazzyYazCelestia Labs