Skip to content
View Sean-Watters's full-sized avatar
2 followers · 0 following

Organizations

@scottish-pl-institute

Block or report Sean-Watters

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. fresh-lists fresh-lists Public

    The Agda development for the APLAS 2023 paper "A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists" by myself, Fredrik Nordvall Forsberg, and Clemens Kupke.

    Agda 1

  2. sliding-doors sliding-doors Public

    The repository where the latex sources of all my slides live.

    TeX

  3. sketchpad sketchpad Public

    The repository where my random research threads live.

    Agda

  4. personal-page personal-page Public

    The Jekyll source for my personal academic webpage.

    HTML

  5. fzfbiblio fzfbiblio Public

    An `fzf`-based TUI for searching/browsing entries in a bibtex file, and opening the associated pdf in one keystroke.

    Haskell