This is your work, valued

Switzerland

Silvan Mosberger

Expert
@infinisil

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

234

all-hies. Cached Haskell IDE Engine Nix builds for all GHC versions

192

system. My system configuration

181

sanix. Sane stable stateless NixOS setup

86

nixlisp. Nix

63

on-demand-minecraft. Haskell

51

nixbot. Haskell

27

nix-xdg. [WIP] Nix overlay for making programs xdg compliant

22

soph. Efficiently import pictures while handling duplicates gracefully

11

nix-store-brute. Brute force nix store path prefixes

10

aoc20. Nix

10

nix-rts. Nix

7

fastnixarray. An array implementation for Nix with logarithmic update and access operations

5

aoc18. Haskell

5

toponix. Toponix will be a bunch of Nix functions that can transform a simple network topology description into useful answers

4

nixpkgs-analyzer. Haskell

4

SwiftUnits. Framework for working with arbitrary units in Swift (WIP, Name and repo might change)

4

guides. Some guides for mainly NixOS

3

random-twitch-stream. Shell

3

ScriptKit. Framework for convenient scripts in Swift (WIP)

2

nix-url-verify. Haskell

2

arvy. Bachelor thesis on Arvy Heuristics for Distributed Mutual Exclusion

2

non-det-nix-parsing-repro. Reproducer for a non-deterministic parser show result

2

dream2nix-modules. Nix

2

nixperiments. Uncurated Nix experiments

2

nix-quote-urls. Utility against unquoted Nix URIs

1

modules-ng. Nix

1

list-youtube-uploads. Bash script for listing youtube channel uploads

1

floxpkgs. Nix

1

zrepl. One-stop ZFS backup & replication solution

1

aoc19. Haskell

1

treewide-nixpkgs-reformat-script. Script to format nixpkgs treewide and verify the result

1

nixos-services.

1

browserpass. Chrome & Firefox browser extension for pass, a UNIX password manager.

1

Haskell-KMP. Knuth–Morris–Pratt string searching algorithm

1

picstream. A simple script to stream pictures to clients

1