Giters
runtimeverification
/
michelson-semantics
A K semantics of Tezos' Michelson language.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
17
Watchers:
20
Issues:
97
Forks:
6
runtimeverification/michelson-semantics Stargazers
Andrew-Miranti
João Santos Reis
joaosreis
Michael Zaikin
m-kus
Raphaël Cauderlier
rafoo
KC Sivaramakrishnan
kayceesrk
Andrejs Agejevs
esneko
ianpatton
Richard Ayotte
RichAyotte
echo
lukeddy
denver-s
Juraj Selep
jurajselep
ktorn
wyn
wyn
ganioc
ganioc
Derek Sorensen
dhsorens
tomsib2001
Bijou Trouvaille
bijoutrouvaille