laalsaas

Pinned Repositories

anki
Anki's shared backend and web components, and the Qt frontend
Language:Rust20.4k 336 1.1k2.3k
keepassxc
KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.
Language:C++22.6k 270 8.7k1.5k
anki
Anki's shared backend and web components, and the Qt frontend
Language:Rust0 1 00
anki-manual
Anki's manual
Language:CSS0 1 00
bat
A cat(1) clone with wings.
Language:Rust0 1 00
gti
a git launcher :-)
Language:C0 1 00
nix-rust-stm32
Blink a LED on a Blue pill (build on NixOS)
Language:Rust00
NixOS-Users-Against-MIC-Sponsorship.github.io
Language:Nix00
nixpkgs
Nix Packages collection
Language:Nix0 1 00
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 🇩🇪
Language:Lean0 0 00

laalsaas's Repositories

laalsaas/anki
Anki's shared backend and web components, and the Qt frontend
Language:Rust0 1 00
laalsaas/anki-manual
Anki's manual
Language:CSS0 1 00
laalsaas/bat
A cat(1) clone with wings.
Language:Rust0 1 00
laalsaas/gti
a git launcher :-)
Language:C0 1 00
laalsaas/NixOS-Users-Against-MIC-Sponsorship.github.io
Language:Nix00
laalsaas/nixpkgs
Nix Packages collection
Language:Nix0 1 00
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 🇩🇪
Language:Lean0 0 00