Giters
Phillip Harris (phillipharr1s)

phillipharr1s

Geek Repo

1

followers

1

following

1

stars

Location:Madison, WI

Github PK Tool:Github PK Tool

Phillip Harris's repositories

phillipharr1s.github.io

Stargazers:1Issues:1Issues:0

battlecode-2018

:rocket:

Language:RustStargazers:0Issues:1Issues:0

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

Language:MakefileLicense:NOASSERTIONStargazers:0Issues:1Issues:0

k

K Framework Tools 5.0

Language:JavaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

kore

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

perm

Language:RustStargazers:0Issues:1Issues:0

toythm

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0