Stars
Systemd unit generator for a verity protected Nix Store
Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]
Your project’s nix-env [maintainer=@Profpatsch,@nyarly]
Bundle Nix derivations to run anywhere! [maintainer=@matthewbauer, @Artturin]
Build NixOS images for various ARM single computer boards
🚧 (Alpha stage software) Edit files, run programs, and work with LSP on a remote machine from the comfort of your local environment 🚧
Fork of the Assembly 4 workbench for FreeCAD
Synthwave x Fluoromachine port for Neovim
My NixOS configuration flake that moggs yours in term of eval times
Ubuntu for Rockchip RK35XX Devices
A configurable USB MIDI 1.0 device class driver for the Zephyr RTOS.
Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.
aluminum-ice / pwnagotchi
Forked from evilsocket/pwnagotchi(⌐■_■) - Deep Reinforcement Learning instrumenting bettercap for WiFi pwning.
A privacy-conscious Android keyboard made for your thumbs
A place for public review of the posix port of stage0
Techniques and numbers for estimating system's performance from first-principles
An open-source on-device voice IME (keyboard) for Android using the Vosk library.
Modin: Scale your Pandas workflows by changing a single line of code
GrapheneOS / adevtool
Forked from kdrag0n/adevtoolAndroid device support and bringup tool, designed for maximum automation and speed.
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
Berty is a secure peer-to-peer messaging app that works with or without internet access, cellular data or trust in the network
🐚 Python-powered shell. Full-featured and cross-platform.