~spidernet

https://www.nullbuffer.com

~spidernet/dotfiles

My dotfiles

~spidernet/algebraiC

Examples of sum algebraic data types in C99

~spidernet/modern_c_challenges

Solutions to challenges in Jens Gustedt's Modern C book

~spidernet/st

Personal fork of suckless terminal (st)

~spidernet/Zenburn

Zenburn is a low-contrast color scheme for Vim. Fork of https://github.com/jnurmine/Zenburn

~spidernet/netbsd-pkgsrc

Arch Linux package of CURRENT branch of pkgsrc

~spidernet/RealTimeSystemsModels

Report and slides used in a talk about Models for Real-Time systems for Automatic System Verification course

~spidernet/PermutationFlowShopScheduling

Project from my Advanced Scheduling Systems course in CS master degree