Nix/NixOS security tool collections

[mirror] A list of software and resources for professional audio/video/live events production on Linux.

Review pull-requests on https://github.com/NixOS/nixpkgs

Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini C…

Rust Discovery Book for BBC micro:bit v2

Secure Boot & Measured Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]

Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]

Gaming on Nix

GitNexus: The Zero-Server Code Intelligence Engine - GitNexus is a client-side knowledge graph creator that runs entirely in your browser. Drop in a git repository (Github, Gitlab, Azure, Local) or…

A list of awesome resources for zellij

RISC-V simulator and IDE for learning assembly — RV32IMF, step-by-step debugger,cache , pipeline, multi-core simulator

🕵️‍♂️ (2-in-1) Email & Username OSINT suite for deep data extraction just from a single Email/Username. Analyzes 400+ actively maintained scan vectors (170+ email / 230+ username) for security rese…

Apheleia Verification Library - AMBA Advanced eXtensible Interface verification component

Apheleia Verification Library - AMBA AXI Stream verification component

Apheleia Verification Library - AMBA Advanced eXtensible Interface verification component

Apheleia Verification Library - AMBA Advanced Peripheral Bus verification component

Apheleia Verification Library. A Python based HDL verification library sitting on top of cocotb

❄️ Simplify Nix Flakes with the module system

NixOS on Xilinx Zynq and ZynqMP

Nix flake for openXC7

Global threat map. Learn wars, conflicts, military bases and history of nations.

Fixed-size decimal numbers implemented in pure Rust

🔒 Consolidating and extending hosts files from several well-curated sources. Optionally pick extensions for porn, social media, and other categories.

Playing around with Formal Verification of Verilog and VHDL

A machine learning accelerator core designed for energy-efficient AI at the edge.

Debug waveforms with GDB

FFmpeg Assembly Language Lessons