Giters
Chris Martens (chrisamaphone)

chrisamaphone

Geek Repo

225

followers

38

following

20

stars

Company:Northeastern University

Home Page:https://convivial.tools

Github PK Tool:Github PK Tool

Organizations
cbv
clf

Chris Martens's repositories

monopoly

Monopoly in Celf

Stargazers:1Issues:0Issues:0

narrative-causality

Narrative causality in Celf

Stargazers:2Issues:0Issues:0

talk-mentorship

talk-mentorship

Language:RubyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

lfinlf

Mechanized metatheory of LF in Twelf.

Stargazers:15Issues:0Issues:0