Skip to content
Avatar
411 followers · 0 following · 34

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@entropia
Block or Report

Block or report nomeata

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

Popular repositories Loading

  1. incredible Public

    The Incredible Proof Machine

    Haskell 290 29

  2. arbtt Public

    arbtt, the automatic rule-based time-tracker

    Haskell 193 24

  3. inspection-testing Public

    Inspection Testing for Haskell

    Haskell 166 20

  4. ghc-proofs Public

    Let GHC prove program equations for you

    Haskell 145 6

  5. ghc-justdoit Public

    A magic typeclass that just does it

    Haskell 118 3

  6. veggies Public

    Hopefully verifiable code generation in GHC

    Haskell 92 6

2,296 contributions in the last year

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

Contribution activity

December 1, 2021

nomeata has no activity yet for this period.
Loading

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