Studied Computer Science at ETHZ. Fluent in Nix and Haskell. Profile picture art by https://artistree.io/pheonyx!
nixus. Experimental deployment tool supporting multi-host abstractions
234all-hies. Cached Haskell IDE Engine Nix builds for all GHC versions
192system. My system configuration
181sanix. Sane stable stateless NixOS setup
86nixlisp. Nix
63on-demand-minecraft. Haskell
51nixbot. Haskell
27nix-xdg. [WIP] Nix overlay for making programs xdg compliant
22soph. Efficiently import pictures while handling duplicates gracefully
11nix-store-brute. Brute force nix store path prefixes
10aoc20. Nix
10nix-rts. Nix
7fastnixarray. An array implementation for Nix with logarithmic update and access operations
5aoc18. Haskell
5toponix. Toponix will be a bunch of Nix functions that can transform a simple network topology description into useful answers
4nixpkgs-analyzer. Haskell
4SwiftUnits. Framework for working with arbitrary units in Swift (WIP, Name and repo might change)
4guides. Some guides for mainly NixOS
3random-twitch-stream. Shell
3ScriptKit. Framework for convenient scripts in Swift (WIP)
2nix-url-verify. Haskell
2arvy. Bachelor thesis on Arvy Heuristics for Distributed Mutual Exclusion
2non-det-nix-parsing-repro. Reproducer for a non-deterministic parser show result
2dream2nix-modules. Nix
2nixperiments. Uncurated Nix experiments
2nix-quote-urls. Utility against unquoted Nix URIs
1modules-ng. Nix
1list-youtube-uploads. Bash script for listing youtube channel uploads
1floxpkgs. Nix
1zrepl. One-stop ZFS backup & replication solution
1aoc19. Haskell
1treewide-nixpkgs-reformat-script. Script to format nixpkgs treewide and verify the result
1nixos-services.
1browserpass. Chrome & Firefox browser extension for pass, a UNIX password manager.
1Haskell-KMP. Knuth–Morris–Pratt string searching algorithm
1picstream. A simple script to stream pictures to clients
1