Skip to content
Avatar
567 followers · 14 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx2
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx2
BetaSend feedback
Block or Report

Block or report vmchale

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.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. jacinda Public

    Functional, expression-oriented data processing language

    Haskell 50 3

  2. permutations Public

    Provides a type-safe way of working with permutations in Idris

    Idris 31 3

  3. edit-distance Public

    Levenshtein edit distance, packaged for ATS

    ATS 11 1

  4. kempe Public

    Kempe is a compiled stack-based language

    Haskell 53 1

  5. perceptual-hash Public

    Perceptual Hash in J

    J 5

  6. img-fut Public

    Image manipulation in Futhark

    Futhark 4 1

1,464 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

September 2022

Created 31 commits in 2 repositories
Reviewed 2 pull requests in 1 repository
clash-lang/clash-compiler 2 pull requests

Created an issue in ndmitchell/extra that received 1 comment

third3 isn't as lazy as second from Data.Bifunctor

Redefining it as third3 :: (c -> d) -> (a, b, c) -> (a, b, d) third3 f ~(a, b, c) = (a, b, f c) would be less confusing in my opinion, as it woul…

1 comment
9 contributions in private repositories Sep 8 – Sep 13

Seeing something unexpected? Take a look at the GitHub profile guide.