Pinned Repositories
APLMOOC
A MOOC course for the APL programming language
bismuth
KDE Plasma add-on, that tiles your windows automatically and lets you manage them via keyboard, similarly to i3, Sway or dwm.
bud
EXPERIMENTAL -- A highly composable system ctl tool
hexadecimaaal.github.io
hexboard
weird keyboard
hexcalc
stupid calculator
raspnixie
nixie on top of an rpi
Tosa
some symbolic computation engine
nixpkgs
Nix Packages collection & NixOS
Hexadecimaaal's Repositories
Hexadecimaaal/hexadecimaaal.github.io
Hexadecimaaal/raspnixie
nixie on top of an rpi
Hexadecimaaal/Tosa
some symbolic computation engine
Hexadecimaaal/APLMOOC
A MOOC course for the APL programming language
Hexadecimaaal/bismuth
KDE Plasma add-on, that tiles your windows automatically and lets you manage them via keyboard, similarly to i3, Sway or dwm.
Hexadecimaaal/bud
EXPERIMENTAL -- A highly composable system ctl tool
Hexadecimaaal/cubical
An experimental library for Cubical Agda
Hexadecimaaal/hexboard
weird keyboard
Hexadecimaaal/hexcalc
stupid calculator
Hexadecimaaal/cnfsynth
what if you actually make circuits in a sat solver
Hexadecimaaal/digga
A flake utility library to craft shell-, home-, and hosts- environments.
Hexadecimaaal/GregicAdditions
oh my god i just want the rock breaker to work
Hexadecimaaal/happy-hacking-gnu
Hexadecimaaal/Iosevka
Versatile typeface for code, from code.
Hexadecimaaal/kons
Hexadecimaaal/nil
NIx Language server, an incremental analysis assistent for writing in Nix.
Hexadecimaaal/nix-configs
Hexadecimaaal/nix-dram-nix
Nix but it's the nix-dram fork, and some more
Hexadecimaaal/nixpkgs
Nix Packages collection
Hexadecimaaal/press-beta
Hexadecimaaal/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Hexadecimaaal/raspnixie-kicad
Hexadecimaaal/Sarasa-Gothic
Sarasa Gothic / 更纱黑体 / 更紗黑體 / 更紗ゴシック / 사라사 고딕
Hexadecimaaal/Sensor-Watch
A board replacement for the classic Casio F-91W wristwatch
Hexadecimaaal/simple_rc
Hexadecimaaal/tdesktop
Telegram Desktop messaging app