Pavel Král's repositories
gdb-dashboard
Modular visual interface for GDB in Python
Language:PythonMIT000
Language:Python000
mynewt-nimble
Apache mynewt
Language:CApache-2.0000
Language:NixMIT000
nix-config-old
My personal nix configuration
Language:Nix000
nix-config-old2
Personal nixos and home-manager configurations based on excellent @Misterio77's config
Language:NixMIT000
nixpkgs
Nix Packages collection
Language:NixMIT000