Pinned Loading

1. cfg cfg Public

   my old laptop setup for NixOS, archived in favor of new repo `dots`

   Nix 8 2

2. e2ed-hetzner e2ed-hetzner Public

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

   Nix 4 1

3. synthesis synthesis Public

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

   Haskell 6 1

4. pquery pquery Public

   A collection of functions for use in Excel Power Query

   243 77

5. typical typical Public archive

   playground for type-level primitives in TypeScript

   TypeScript 174 5

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

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

   Python