Computer science PhD student at Imperial College London.
- Cork, Ireland
- https://doisinkidney.com/
- @oisdk
Highlights
- Pro
Block or Report
Block or report oisdk
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
agda-ring-solver
agda-ring-solver Public archiveA fast, easy-to-use ring solver for agda with step-by-step solutions
-
-
monus-weighted-search
monus-weighted-search PublicEfficient search weighted by an ordered monoid with monus.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.