Giters
Michael Hicks (mwhicks1)

mwhicks1

Geek Repo

48

followers

0

following

6

stars

Location:Arlington, VA, USA

Home Page:https://mhicks.me/

Twitter:@michael_w_hicks

Github PK Tool:Github PK Tool

Organizations
correctcomputation
plum-umd

Michael Hicks's repositories

3c-actions

Language:PythonStargazers:0Issues:0Issues:0

analyze-conversion

Extract information about conversions to and from checkedc

Language:CStargazers:0Issues:3Issues:13

C3

Reverting Checked C annotations

Language:OCamlStargazers:0Issues:1Issues:0

cmsc330spring19-public

Language:RubyStargazers:0Issues:1Issues:0

mwhicks1.github.io

Homepage

Language:HTMLStargazers:0Issues:1Issues:0

SIGPLAN.github.io

SIGPLAN website

Language:HTMLStargazers:0Issues:1Issues:0