my dotfiles

Aggiornato 2 giorni fa

Aggiornato 2 mesi fa

Statically generated site for Redbrick

Aggiornato 2 mesi fa

a reveal.js slidedeck

Aggiornato 2 mesi fa

TechWeek site

Aggiornato 2 mesi fa

Redbrick / docs
Makefile 0 0

redbrick docs

Aggiornato 2 mesi fa

my configs

Aggiornato 3 mesi fa

scripts for helpdesk talks

Aggiornato 3 mesi fa

irc game bot

Aggiornato 4 mesi fa

Redbrick User management tool

Aggiornato 7 mesi fa

Aggiornato 7 mesi fa

Redbrick / blog
Makefile 1 5

we screw up sometimes but they're usually fun stories

Aggiornato 7 mesi fa

akraak / guix
Scheme 0 0

Aggiornato 9 mesi fa

random bash scripts

Aggiornato 11 mesi fa

NixOS configs for new Redbrick deployment

Aggiornato 11 mesi fa

python version of rbusers. list logged in users

Aggiornato 11 mesi fa

dever / blog
Makefile 0 0

we screw up sometimes but they're usually fun stories

Aggiornato 1 anno fa

fraz / CA357
JavaScript 0 0

Aggiornato 1 anno fa

admin scripts

Aggiornato 1 anno fa