- Just a website
- Created with Python and Flask
- Hosted on AWS Lambda with Zappa
vsubhuman / iele-semantics Goto Github PK
View Code? Open in Web Editor NEWThis project forked from runtimeverification/iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
License: Other