Stars
This Repository aims at giving a basic idea about Kernel Exploitation.
A model checker for implementing distributed systems.
Intelligent Tailwind CSS tooling for Visual Studio Code
Cryptomator for Windows, macOS, and Linux: Secure client-side encryption for your cloud storage, ensuring privacy and control over your data.
A flamboyant output monitor for the Nix build tool
A from-scratch Rust reimplementation of nixfmt that produces byte-identical output to the Haskell original.
Cross-platform Rust rewrite of the GNU coreutils
⚡ Dynamically generated stats for your github readmes
A language server for Zig supporting developers with features like autocomplete and goto definition
Nix binary cache implemented in rust (maintainer: @Mic92)
SécurixOS is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven co…
Arduino core for ATtiny 1634, 828, x313, x4, x41, x5, x61, x7 and x8
A full graphical web browser for Kitty terminal with mouse and keyboard support
Cherry-pick commits across GitHub repositories using only the GitHub API
Secure Boot & Measured Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]
A better way to search and categorize build logs
A lightweight and high-performance reverse proxy for NAT traversal, written in Rust. An alternative to frp and ngrok.
HTTP(S)/WS(S)/TCP Tunnels to localhost using only SSH.
Collaborative cheatsheets for console commands 📚.
@ofborg tooling automation https://monitoring.ofborg.org/dashboard/db/ofborg
A small utility to modify the dynamic linker and RPATH of ELF executables