Karel Kočí's repositories
turris-tetris
Tetris game played on ten Turris Omnias stacked on top of each other
nixos-personal
My personal NixOS configuration
bch-firmware-tool
BigClown Firmware Tool (Python Application «bcf»)
check-suite
Unit Testing Framework for C with implicit Suite discovery
gentoo
The official mirror of the Gentoo ebuild repository
i3blocks-contrib
Fork of repository for community contributed blocklets
luci
LuCI - OpenWrt Configuration Interface
lxd-completion-zsh
A Zsh completion for lxc command of LXD
meson-nuttx
The Meson Build System
necrolog
Tiny but powerfull logging for C++
nix-kernel
A Jupyter Notebook Kernel for nix-repl
nixbigclown
NixOS BigClown
NixOSDeploy
This is yet another deployment tool for NixOS. This tries to be as easy to use as possible while not introducing new concepts to NixOS.
nixpkgs
Nix Packages collection
nixsemver
Nix Semantic Versioning library
nuttx
Apache NuttX is a mature, real-time embedded operating system (RTOS)
nuttx-apps
Apache NuttX Apps is a collection of tools, shells, network utilities, libraries, interpreters and can be used with the NuttX RTOS
openwrt-packages
OpenWrt Packages Repository
QtMips
MIPS CPU emulator
shellrc
Personal shell initialization and completions files
shv-doc
SHV RPC Documentation
shvapp-rs
Rust implementation of headless SHV applications