Skip to content
View m-yac's full-sized avatar

Block or report m-yac

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

Pinned Loading

  1. GaloisInc/saw-script GaloisInc/saw-script Public

    The SAW scripting language.

    Haskell 444 62

  2. GaloisInc/cryptol GaloisInc/cryptol Public

    Cryptol: The Language of Cryptography

    Haskell 1.1k 123

  3. microtonal-utils microtonal-utils Public

    A javascript library for calculating with microtonal intervals and notes

    JavaScript 18 1

  4. xen-calc xen-calc Public

    A multi-purpose calculator for microtonal(/xenharmonic) music

    JavaScript 9 1