Skip to content
View re-xyr's full-sized avatar
🍰
🍰
  • Carnegie Mellon University
  • Great Hakurei Barrier
  • 22:38 (UTC -04:00)

Organizations

@aya-prover @MaigoLabs

Block or report re-xyr

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Pinned Loading

  1. cleff cleff Public

    Fast and concise extensible effects

    Haskell 109 6

  2. speff speff Public

    Fast higher-order effect handlers with evidence passing

    Haskell 21 3

  3. avail avail Public

    Low-overhead effect management for concrete monads

    Haskell 37 2

  4. aya-prover/aya-dev aya-prover/aya-dev Public

    A proof assistant and a dependently-typed language

    Java 345 24

  5. inkclip inkclip Public

    Wear a screen on your head

    Svelte 2

  6. hemerocallis hemerocallis Public

    Resume (template) written in Typst

    Typst 10