Skip to content
View funemy's full-sized avatar
🎯
Focusing
🎯
Focusing
74 followers · 133 following

Achievements

Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report funemy

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
funemy/README.md

Hi there 👋

🎓 PhD student @UBC-SPL.

🔭 Interested in Formal Verification, (Dependent) Type Theory, Program Logics, and almost everything related to PL

📫 My website.

Pinned Loading

  1. awslabs/shuttle awslabs/shuttle Public

    Shuttle is a library for testing concurrent Rust code

    Rust 685 34

  2. execrises execrises Public

    random notes/thoughts/proofs

    Haskell

  3. ejconlon/ltlspec ejconlon/ltlspec Public

    Haskell 1

  4. mid mid Public

    neither based nor cringe

    Haskell 1

  5. DistributedClocks/TraceChecker DistributedClocks/TraceChecker Public

    Domain-specific language definitions for checking + explaining properties of distributed traces

    Scala 2

  6. SWORD SWORD Public

    SWORD: A Whole Program Race Detector for Java

    Java 13 2