Skip to content
View KiaraGrouwstra's full-sized avatar
💁‍♀️
💁‍♀️
  • Utrecht, the Netherlands
  • 23:40 (UTC +01:00)

Organizations

@typed-typings @bij1

Block or report KiaraGrouwstra

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. cfg cfg Public

    my laptop setup for NixOS

    Nix 3 2

  2. e2ed-hetzner e2ed-hetzner Public

    end-to-end declarative Hetzner Cloud w/ NixOS + Terraform

    Nix 1

  3. synthesis synthesis Public

    code-base for my UvA MSc AI thesis on typed neural program synthesis

    Haskell 5 1

  4. pquery pquery Public

    A collection of functions for use in Excel Power Query

    233 76

  5. typical typical Public

    playground for type-level primitives in TypeScript

    TypeScript 173 5

  6. google-hashcode-2020 google-hashcode-2020 Public

    source code of our implementation to Google's 2020 HashCode hackathon

    Python