Skip to content
Avatar
🌮
あ
🌮
あ
  • Block or report user

    Block or report Profpatsch

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

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

    Report abuse
161 followers · 60 following · 667

Highlights

Organizations

@NixOS @openlab-aux @tweag @curry-club-aux @beetbox @lojbanistan @dhall-lang

Sponsoring

@muesli
Profpatsch/README.md

Hi there 👋

Pinned

  1. NixOS/nixpkgs

    Nix Packages collection

    Nix 5.7k 5.4k

  2. dhall-lang/dhall-lang

    Maintainable configuration files

    Dhall 2.8k 124

  3. openlab-aux/vuizvui

    Nix(OS) expressions used by the OpenLab and its members

    Nix 75 11

  4. yarn2nix

    Build and deploy node packages with nix from yarn.lock files.

    Haskell 45 12

  5. blog

    My blog (shake static builder & content)

    HTML 22 8

  6. libnix-haskell

    Haskell library to interface with the nix package manager

    Haskell 21 1

921 contributions in the last year

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

Contribution activity

October 2020

Created a pull request in shmish111/purescript-bridge that received 3 comments

implement GDataConstructor for `V1`/`NoConstructors`

Implements support for bridging Void-like phantom types It should be possible to bridge types that do not have any constructors, e.g. ones that are…

+36 −10 • 3 comments

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

You can’t perform that action at this time.