wo

Edinburgh, UK

Pinned Repositories

bdrc
Lecture nots on decision theory
Language:TeX0 2 10
counterpart-logic
Language:TeX0 2 00
emacs-config
My doom emacs config
Language:Emacs Lisp1 2 10
logic2
Lecture notes for a modal logic course
Language:TeX1 2 10
opp-web
Web interface for "Online Papers in Philosophy" feed
Language:Python2 2 70
org-appear
Toggle visibility of hidden Org mode element parts upon entering and leaving an element
Language:Emacs Lisp0 1 00
papers
some of my philosophy papers
Language:PostScript2 2 00
paperscraper
tracking and parsing new philosophy papers on the internet
Language:HTML9 4 1014
tpg
Tree Proof Generator
Language:JavaScript156 7 3020
webppl-rsa
A webppl package for Rational Speech Act models
Language:HTML10

wo's Repositories

wo/tpg
Tree Proof Generator
Language:JavaScript156 7 3020
wo/paperscraper
tracking and parsing new philosophy papers on the internet
Language:HTML9 4 1014
wo/opp-web
Web interface for "Online Papers in Philosophy" feed
Language:Python2 2 70
wo/papers
some of my philosophy papers
Language:PostScript2 2 00
wo/emacs-config
My doom emacs config
Language:Emacs Lisp1 2 10
wo/logic2
Lecture notes for a modal logic course
Language:TeX1 2 10
wo/webppl-rsa
A webppl package for Rational Speech Act models
Language:HTML10
wo/bdrc
Lecture nots on decision theory
Language:TeX0 2 10
wo/counterpart-logic
Language:TeX0 2 00
wo/org-appear
Toggle visibility of hidden Org mode element parts upon entering and leaving an element
Language:Emacs Lisp0 1 00
wo/var
various smaller stuff
Language:Python0 2 00
wo/webppl
Probabilistic programming for the web
Language:JavaScript0 1 00
wo/wo
0 2 00