Skip to content
View michaelto20's full-sized avatar
2 followers · 0 following
  • Microsoft
  • Georgia

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report michaelto20

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. ct-gradual-typing/Papers ct-gradual-typing/Papers Public

    The Combination of Dynamic and Static Typing from a Categorical Perspective

    TeX 10

  2. Cuckoo-Filter Cuckoo-Filter Public

    Haskell

  3. grndlvl/CSCI-4711 grndlvl/CSCI-4711 Public

    CSCI 4711 Team Project

    C#

  4. HaskellQuickGrader/HQG HaskellQuickGrader/HQG Public

    Haskell QuickGrader

    Haskell

  5. TM-Assembler TM-Assembler Public

    Haskell Turing Machine Assembler

    Haskell

  6. RowingNewsCrawler RowingNewsCrawler Public

    A news feed for your favorite rowing teams

    JavaScript