hall

Pinned Repositories

ananta
a distributed, virtualizable operating system
Language:C12 3 03
config
an opinionated flake to configure the world
Language:Nix1 2 00
draw
draw and math in vscode
Language:JavaScript9 3 101
handwritten
Language:Nix00
interkonekto
defini e tradukuri di vortari en Ido
Language:Go3 3 31
kubenix
Kubernetes management with Nix
Language:Nix323 10 3530
little-buddy
firmware for the pinebuds pro
Language:C49 3 43
meraki-builder
Scripts and tools to assemble firmware images for Meraki MS220, MS22, MS42, MS320 switches and the Meraki MX80 router
Language:Shell0 1 01
midi.academy
Interactive MIDI learning
Language:TypeScript1 2 00
postmerkos-ui
A basic UI for meraki-builder
Language:JavaScript5 2 12

hall's Repositories

hall/kubenix
Kubernetes management with Nix
Language:Nix323 10 3530
hall/little-buddy
firmware for the pinebuds pro
Language:C49 3 43
hall/ananta
a distributed, virtualizable operating system
Language:C12 3 03
hall/draw
draw and math in vscode
Language:JavaScript9 3 101
hall/postmerkos-ui
A basic UI for meraki-builder
Language:JavaScript5 2 12
hall/interkonekto
defini e tradukuri di vortari en Ido
Language:Go3 3 31
hall/config
an opinionated flake to configure the world
Language:Nix1 2 00
hall/midi.academy
Interactive MIDI learning
Language:TypeScript1 2 00
hall/handwritten
Language:Nix00
hall/meraki-builder
Scripts and tools to assemble firmware images for Meraki MS220, MS22, MS42, MS320 switches and the Meraki MX80 router
Language:Shell0 1 01
hall/mezurar
a system of measurements
Language:Go0 3 00
hall/mobile-nixos
Language:C1 0
hall/nixos-hardware
A collection of NixOS modules covering hardware quirks.
Language:Nix1 0
hall/nixpkgs
Nix Packages collection
Language:Nix1 0