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/nixus
Experimental deployment tool supporting multi-host abstractions
infinisil/system
My system configuration
infinisil/sanix
Sane stable stateless NixOS setup
infinisil/nixperiments
Uncurated Nix experiments
infinisil/non-det-nix-parsing-repro
Reproducer for a non-deterministic parser show result
infinisil/github-test
Testing some GitHub features
infinisil/treewide-nixpkgs-reformat-script
Script to format nixpkgs treewide and verify the result
infinisil/2023.nixcon.org
NixCon 2023 conference website
infinisil/borg
Deduplicating archiver with compression and authenticated encryption.
infinisil/civs
Condorcet Internet Voting System
infinisil/clojure-nix-locker
Simple and flexible tool to build clojure projects with Nix
infinisil/codeowners-validator
The GitHub CODEOWNERS file validator
infinisil/create-pull-request
A GitHub action to create a pull request for changes to your repository in the actions workspace
infinisil/foundation
This is the home of the NixOS Foundation
infinisil/geospatial-nix
Geospatial packages repository and environment. Check out https://geospatial-nix.today/ .
infinisil/geospatial-nix-rolling
infinisil/gitTracked-example
infinisil/infra
NixOS configurations for nixos.org and its servers
infinisil/lua-mode
Emacs major mode for editing Lua
infinisil/moderation
The home of the moderation team
infinisil/nix
Nix, the purely functional package manager
infinisil/nix-direnv
A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]
infinisil/nixos-homepage
Sources for nixos.org
infinisil/nixpkgs
Nix Packages collection
infinisil/npmlock2nix
infinisil/ofborg
@grahamcofborg tooling automation https://monitoring.nix.ci/dashboard/db/ofborg
infinisil/org-v2
Organisational documentation
infinisil/polis
:milky_way: Open Source AI for large scale open ended feedback
infinisil/rfcs
The Nix community RFCs
infinisil/towncrier
Manage the release notes for your project.