Pinned Repositories
aws-notes
Study notes about AWS topics
benchmark-invocation-vs-gateway
A small experiment comparing direct invocation of AWS Lambda and indirect invocation via API Gateway.
campaign-notes-evryntia
Notes for D&D campains that I play in the Evryntia setting
category-diagram-editor
An editor for category theory diagrams
dev-cli-utils
A structured set of scripts to help with software development
dotfiles
My configuration files for NixOS, MacOS and home-manager
elightscape
A controller for smart lights, built with Elixir, adding onto Home Assistant.
elm-draggable
An easy way to make DOM elements draggable
elm-graph-diagrams
A library for drawing interactive graph-based diagrams.
latex-templates
Collection of LaTeX project templates.
ggazzi's Repositories
ggazzi/dev-cli-utils
A structured set of scripts to help with software development
ggazzi/elm-graph-diagrams
A library for drawing interactive graph-based diagrams.
ggazzi/latex-templates
Collection of LaTeX project templates.
ggazzi/category-diagram-editor
An editor for category theory diagrams
ggazzi/dotfiles
My configuration files for NixOS, MacOS and home-manager
ggazzi/aws-notes
Study notes about AWS topics
ggazzi/benchmark-invocation-vs-gateway
A small experiment comparing direct invocation of AWS Lambda and indirect invocation via API Gateway.
ggazzi/campaign-notes-evryntia
Notes for D&D campains that I play in the Evryntia setting
ggazzi/elightscape
A controller for smart lights, built with Elixir, adding onto Home Assistant.
ggazzi/elm-draggable
An easy way to make DOM elements draggable
ggazzi/graph-morphism-viz
Visualization of graph morphisms
ggazzi/hledger-iadd
A terminal UI as drop-in replacement for hledger add.
ggazzi/home-manager
Manage a user environment using Nix [maintainer=@rycee]
ggazzi/hugo-theme-notestack
A Hugo theme for densely interconected notes.
ggazzi/hzen
A functional reactive approach to dzen status bars.
ggazzi/inisort
A tool for managing manually sorted INI files.
ggazzi/prop_ltl
Experimental utilities for property-based testing with LTL specifications in Elixir
ggazzi/soundctld
Linux utility for controlling alsa output and notifying the user of changes.
ggazzi/sub
Organize groups of scripts into documented CLIs with subcommands