Block or report user

Report or block DimaSamoz

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. mezzo

    A Haskell library for typesafe music composition

    Haskell 266 8

  2. mastermind

    A simple Haskell implementation of the Mastermind game

    Haskell 1

  3. thodo

    A simple command-line to-do list tool

    Haskell 1

  4. temporal-type-systems

    Formalisation of a temporal type system in Agda

    Agda 1

  5. twork-app

    Team Mike – Put Your Phone To Work


  6. 101-game-java

    A command-line card game (practice project)


514 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity

October 2018

8 contributions in private repositories Oct 15 – Oct 18

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