Pinned Repositories
anki
Anki's shared backend and web components, and the Qt frontend
keepassxc
KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.
anki
Anki's shared backend and web components, and the Qt frontend
anki-manual
Anki's manual
bat
A cat(1) clone with wings.
gti
a git launcher :-)
nix-rust-stm32
Blink a LED on a Blue pill (build on NixOS)
NixOS-Users-Against-MIC-Sponsorship.github.io
nixpkgs
Nix Packages collection
Robo
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
laalsaas's Repositories
laalsaas/anki
Anki's shared backend and web components, and the Qt frontend
laalsaas/anki-manual
Anki's manual
laalsaas/bat
A cat(1) clone with wings.
laalsaas/gti
a git launcher :-)
laalsaas/nix-rust-stm32
Blink a LED on a Blue pill (build on NixOS)
laalsaas/NixOS-Users-Against-MIC-Sponsorship.github.io
laalsaas/nixpkgs
Nix Packages collection
laalsaas/Robo
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪