infinisil/arvy infinisil/arvy

  • Stars
    star
    2
  • Language
    TeX
  • License
    GNU General Publi...
  • Created over 5 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
infinisil/arvy
github

infinisil

Reviews

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

Repository Details

Bachelor thesis on Arvy Heuristics for Distributed Mutual Exclusion

More Repositories

1

nixus

Experimental deployment tool supporting multi-host abstractions
Nix
198
star
2

all-hies

Cached Haskell IDE Engine Nix builds for all GHC versions
Nix
193
star
3

system

My system configuration
Nix
125
star
4

nixlisp

Nix
61
star
5

sanix

Sane stable stateless NixOS setup
Nix
57
star
6

on-demand-minecraft

Haskell
46
star
7

nixbot

Haskell
24
star
8

nix-xdg

[WIP] Nix overlay for making programs xdg compliant
Nix
19
star
9

soph

Efficiently import pictures while handling duplicates gracefully
Haskell
10
star
10

aoc20

Nix
10
star
11

nix-store-brute

Brute force nix store path prefixes
Shell
9
star
12

nix-rts

Nix
6
star
13

aoc18

Haskell
5
star
14

fastnixarray

An array implementation for Nix with logarithmic update and access operations
Nix
5
star
15

toponix

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

nixpkgs-analyzer

Haskell
4
star
17

SwiftUnits

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

random-twitch-stream

Shell
3
star
19

guides

Some guides for mainly NixOS
3
star
20

ScriptKit

Framework for convenient scripts in Swift (WIP)
Swift
2
star
21

nixperiments

Uncurated Nix experiments
Nix
2
star
22

nix-url-verify

Haskell
2
star
23

non-det-nix-parsing-repro

Reproducer for a non-deterministic parser show result
Nix
2
star
24

github-test

Testing some GitHub features
1
star
25

nixexprs

Nix
1
star
26

aoc19

Haskell
1
star
27

nix-quote-urls

Utility against unquoted Nix URIs
Haskell
1
star
28

linz

Haskell
1
star
29

hnix-test

Haskell
1
star
30

floxpkgs

Nix
1
star
31

picstream

A simple script to stream pictures to clients
1
star
32

modules-ng

Nix
1
star
33

nixos-services

1
star
34

dream2nix-modules

Nix
1
star
35

StackOverflow

Example code for StackOverflow answers
Swift
1
star
36

list-youtube-uploads

Bash script for listing youtube channel uploads
Shell
1
star