Skip to content
View michaeljklein's full-sized avatar

Highlights

  • Pro

Block or report michaeljklein

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. michaeljklein.github.io michaeljklein.github.io Public

    Short Proof Sample

    HTML 2

  2. parser-tutorial parser-tutorial Public

    A tutorial on monadic parsing in Haskell

    Haskell 1

  3. text-trie text-trie Public

    Forked from wrengr/bytestring-trie

    An efficient finite map from Text to values, based on bytestring-trie.

    Haskell 5 6

  4. hackage-stats hackage-stats Public

    Haskell stats and graphs

    Mathematica 2

  5. ghc-edit-plugin ghc-edit-plugin Public

    Create GHC plugins using composable Lens-like source edits

    Haskell 1

  6. nil-passer nil-passer Public

    Pass nils to single-arg blocks in Ruby on Rails for testing

    Ruby