infinisil
Studied Computer Science at ETHZ. Fluent in Nix and Haskell. Profile picture art by https://artistree.io/pheonyx!
TweagSwitzerland
Pinned Repositories
all-hies
Cached Haskell IDE Engine Nix builds for all GHC versions
aoc20
nix-xdg
[WIP] Nix overlay for making programs xdg compliant
nixbot
nixlisp
nixus
Experimental deployment tool supporting multi-host abstractions
on-demand-minecraft
sanix
Sane stable stateless NixOS setup
system
My system configuration
nixpkgs-vet
Tool to vet (check) Nixpkgs, including its pkgs/by-name directory
infinisil's Repositories
infinisil/all-hies
Cached Haskell IDE Engine Nix builds for all GHC versions
infinisil/nixlisp
infinisil/on-demand-minecraft
infinisil/nixbot
infinisil/aoc20
infinisil/nix-store-brute
Brute force nix store path prefixes
infinisil/soph
Efficiently import pictures while handling duplicates gracefully
infinisil/nix-rts
infinisil/fastnixarray
An array implementation for Nix with logarithmic update and access operations
infinisil/dream2nix-modules
infinisil/floxpkgs
infinisil/list-youtube-uploads
Bash script for listing youtube channel uploads
infinisil/zrepl
One-stop ZFS backup & replication solution
infinisil/codeowners-samples
CODEOWNERS samples used for https://github.com/mszostok/codeowners-validator showcases
infinisil/demo
infinisil/direnv
unclutter your .profile
infinisil/docker
Dockerfiles to package Nix in a minimal docker container
infinisil/flox-lib
Nix framework for declaring and evaluating flox channels
infinisil/flox-test
infinisil/github-actions-docker
infinisil/hello-python
flox nix expressions framework example Python project
infinisil/hello-python-library
infinisil/hydra
Hydra, the Nix-based continuous build system
infinisil/hydra-test
infinisil/hydra-test-2
infinisil/Idris2
A purely functional programming language with first class types
infinisil/nix-files
NixOS for my VPS
infinisil/p2n
infinisil/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
infinisil/wai-rate-limit
Rate limiting for Servant and as WAI middleware