Block or report user



Popular repositories

  1. nix-exec

    Run programs defined in nix expressions

    C++ 27 3

  2. nix-buffer

    nix-shell for emacs buffers

    Emacs Lisp 26 6

  3. long-shebang

    A tool for #! scripts with more than one argument

    C 16

  4. cat-fiat

    An attempt to formalize unix cat in fiat

    Coq 7

  5. nixos-types

    Data types to represent the Nix language

    Haskell 6

  6. hnix-store

    Haskell implementation of the nix store API

    Haskell 6

693 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

October 2017

Created a pull request in leanprover/lean that received 9 comments

WIP: coe_to_fun domain codomain

Similar to #1837 , but for coe_to_fun. WIP as I work through remaining issues.

Created an issue in sol/hpack that received 3 comments

cabal-version field

We have some custom Setup.hs that depends on Cabal 2, which we'd like to specify as a minimum for cabal-version in our cabal files.

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