Giters
wonks

wonks

Geek Repo

Github PK Tool:Github PK Tool

wonks's repositories

wonks.github.io

PL Wonks website

Language:HTMLStargazers:9Issues:18Issues:5

plrg

Home of the PL Reading Group

Language:HTMLStargazers:5Issues:13Issues:0

type-theory-reading-group

IU Type Theory reading group

Language:HTMLStargazers:4Issues:8Issues:0

ICFP_rehearsal_feedback

Temporary repository to collect feedback.

Stargazers:1Issues:3Issues:17

Talk_Rehearsal_Feedback

Stargazers:1Issues:4Issues:18