Pinned Repositories
dominion
Dominion simulator, Python
dominionretry
inventory
linearlogic
atomic transformations of formulae in linear logic
repeated-study-app
backend for a simplified SRS app; written in haskell using servant and postgres
site
Website
tavrinky's Repositories
tavrinky/dominion
Dominion simulator, Python
tavrinky/dominionretry
tavrinky/inventory
tavrinky/linearlogic
atomic transformations of formulae in linear logic
tavrinky/site
Website
tavrinky/repeated-study-app
backend for a simplified SRS app; written in haskell using servant and postgres