infinisil/arvy

Stars
2
Language
TeX
License
GNU General Publi...
Created over 5 years ago
Updated about 4 years ago

infinisil/arvy

infinisil

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Bachelor thesis on Arvy Heuristics for Distributed Mutual Exclusion

all-hies

Cached Haskell IDE Engine Nix builds for all GHC versions

nixus

Experimental deployment tool supporting multi-host abstractions

system

My system configuration

nixlisp

sanix

Sane stable stateless NixOS setup

on-demand-minecraft

nixbot

nix-xdg

[WIP] Nix overlay for making programs xdg compliant

soph

Efficiently import pictures while handling duplicates gracefully

aoc20

nix-store-brute

Brute force nix store path prefixes

nix-rts

aoc18

fastnixarray

An array implementation for Nix with logarithmic update and access operations

toponix

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

nixpkgs-analyzer

SwiftUnits

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

random-twitch-stream

guides

Some guides for mainly NixOS

ScriptKit

Framework for convenient scripts in Swift (WIP)

nixperiments

Uncurated Nix experiments

nix-url-verify

non-det-nix-parsing-repro

Reproducer for a non-deterministic parser show result

github-test

Testing some GitHub features

nixexprs

aoc19

nix-quote-urls

Utility against unquoted Nix URIs

linz

hnix-test

floxpkgs

picstream

A simple script to stream pictures to clients

modules-ng

nixos-services

dream2nix-modules

StackOverflow

Example code for StackOverflow answers

list-youtube-uploads

Bash script for listing youtube channel uploads