Skip to content
View liyang's full-sized avatar
64 followers · 64 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck
BetaSend feedback

Organizations

@haskell-github-trust
Block or Report

Block or report liyang

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

  1. fast-math fast-math Public

    Play fast and loose with IEEE-754 rewrite RULES

    Haskell 26 3

  2. google-mail-filters google-mail-filters Public

    Write GMail filters and output to importable XML

    Haskell 13

  3. qmk_firmware qmk_firmware Public

    Forked from qmk/qmk_firmware

    Open-source keyboard firmware for Atmel AVR and Arm USB families

    C 12 3

  4. thesis thesis Public

    Compiling Concurrency Correctly—Verifying Software Transactional Memory

    TeX 4

  5. stm-proof stm-proof Public

    Correctness proof of a log-based semantics for software transactional memory with respect to a stop-the-world semantics, using Agda.

    3

  6. google-search google-search Public

    EDSL for Google and GMail search expressions

    Haskell 2