PrototypeCommon
runtimeverification/iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
- Owner
- runtimeverification (organization)
- Stars
- Stars: 130
- Forks
- Forks: 31
- Language
- HTML
- License
- None
- Created
- 2017
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by runtimeverification
All 7 repos by runtimeverification- runtimeverification/verified-smart-contractsStars: 749SolidityBeta
- runtimeverification/kStars: 603PythonAlpha
- runtimeverification/evm-semanticsStars: 595KCLAlpha
- runtimeverification/haskell-backendStars: 229HaskellPrototype
- runtimeverification/kontrolStars: 127PythonPrototype
- runtimeverification/wasm-semanticsStars: 107WebAssemblyPrototype
Nearby in HTML
All HTML repos- hochenggang/MySQL-OCP-Brush-Questions-ENStars: 130HTMLPrototype
- Super-Chain/N8N2MCPStars: 130HTMLPrototype
- Xnmk029/Xnmk_LibraryStars: 130HTMLPrototype
- Atlantic18/ORMCheatSheetStars: 130HTMLPrototype
- jlord/forkngoStars: 130HTMLPrototype
- OCA/account-analyticStars: 130HTMLPrototype