See what the GitHub community is most excited about today.
Spring 5 Design Patterns, published by Packt
My configuration files
Mathematical proof checker which can be used to create Qeditas theories, signatures and documents
My personal dotfiles
My i3 configuration - [ Ellipsis package ]
Some of my Manjaro config files
Advent of Code, done with Magma and/or GAP
Configure my manjaro i3.
Collection of configuration files