Skip to content
Snippets Groups Projects

Repository analytics

Programming languages used in this repository

Measured in bytes of code. Excludes generated and vendored code.

PercentageUsed programming language020406080100HaskellTerraMakefileGnuplotPython

Code coverage statistics for encoding Feb 18 - May 19

No code coverage data

Code coverage results are not yet available. Try again later.
Bi-weekly code coverage020406080100
data

Commit statistics for encoding Nov 07 - May 14

Excluding merge commits. Limited to 2,000 commits.
Switch branch/tag
  • at-defaults
  • atomics
  • data-kind-syntax
  • encoding
  • ghc-7.2
  • ghc-7.4
  • ghc-7.6
  • ghc-defer
  • ghc-new-co
  • master default protected
  • monad-comp
  • no-pred-ty
  • overlapping-tyfams
  • patch-4404
  • patch-5014
  • patch-5084
  • tc-untouchables
  • th-new
  • type-nats
  • type-nats-simple
  • ghc-7.6.2-release
  • ghc-7.6.3-release
  • ghc-7.6.1-release
  • ghc-7.4.2-release
  • ghc-7.4.1-release
  • ghc-7.2.2-release
  • ghc-7.2.1-release
  • git_migration
  • ghc-darcs-git-switchover
  • 2009-06-25
  • 2008-09-20
  • 6_10_branch_has_been_forked
  • 2008-08-07
  • 2008-05-28
  • 2007-11-11
  • 2007-04-17
  • Initial_conversion_from_CVS_complete
37 results
  • Total: 2000 commits
  • Average per day: 1.6 commits
  • Authors: 46

Commits per day of month

No. of commitsDay of month02040608010012012345678910111213141516171819202122232425262728293031

Commits per weekday

No. of commitsWeekday0100200300400SundayMondayTuesdayWednesdayThursdayFridaySaturday

Commits per day hour (UTC)

No. of commitsHour (UTC)030609012015018021001234567891011121314151617181920212223