Instant Linux kernel development environments via Nix devShells
☆36Mar 6, 2025Updated last year
Alternatives and similar repositories for kernel-dev
Users that are interested in kernel-dev are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A draft for an open TAWS☆11Nov 10, 2023Updated 2 years ago
- My personal (public) NixOS configurations and common Nix(OS) modules, pkgs, and libs.☆20Updated this week
- An example of how to package Coreboot in Nix☆19May 3, 2021Updated 5 years ago
- Manage your arduino-cli with Nix☆39Sep 23, 2025Updated 11 months ago
- ☆14Apr 1, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- nix value introspection - made easy☆12Apr 21, 2024Updated 2 years ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆35Jul 8, 2024Updated 2 years ago
- Native JSON for Rust☆16Dec 10, 2023Updated 2 years ago
- ☆16Apr 23, 2026Updated 4 months ago
- ☆14Aug 24, 2026Updated last week
- RosettaLinux augmentation tool☆16Nov 19, 2025Updated 9 months ago
- NixOS modules that don't quite belong in NixOS.☆16Jan 20, 2021Updated 5 years ago
- Wireshark dissector for the Nix daemon protocol.☆17Sep 11, 2025Updated 11 months ago
- ☆14Jan 15, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Userscript that introduces some user experience enhancements to the Nixpkgs and the NixOS manuals☆13Oct 16, 2023Updated 2 years ago
- ☆25Jan 22, 2025Updated last year
- Cyberus Technology Resilient Linux☆16Updated this week
- the dna of the soul☆17Jun 13, 2024Updated 2 years ago
- Landing page for Software for Open Networking in the Cloud (SONiC) - http://azure.github.io/SONiC/☆11Jun 11, 2024Updated 2 years ago
- The spec for "ANSI Escape sequences" in searchable, linkable form☆18Dec 24, 2019Updated 6 years ago
- Get the packages from NixPkgs found in your system's Nix Store☆19Feb 3, 2024Updated 2 years ago
- A merge bot for Gerrit☆19Nov 8, 2023Updated 2 years ago
- Fetch written in Nu🐘☆17Jul 12, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Nix flake for linux kernel development (formerly kernel-module-flake)☆192Nov 28, 2025Updated 9 months ago
- A set of nix packages (derivations) to build Android boot.img and AnyKernel installation zip files for given kernel source code.☆53Updated this week
- Latex preprocessor — apply macro definitions, remove comments, and more☆15Jul 26, 2026Updated last month
- Helper code for dm-log-writes target.☆13Jul 9, 2024Updated 2 years ago
- ☆24Jul 6, 2024Updated 2 years ago
- Network Block Device (NBD) server and client written in Rust☆14Dec 4, 2024Updated last year
- Game centric distro☆23Updated this week
- GitHub Stacked PR with JJ☆20Sep 12, 2023Updated 2 years ago
- A flake module to build NixOS, nix-darwin and Home Manager configurations, creating a consistent environment across different devices.☆45May 27, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆14Oct 4, 2022Updated 3 years ago
- A set of Nix packages and NixOS modules allowing the usage of OpenStack in NixOS.☆39Updated this week
- Wraps cargo to move target directories to a central location [super experimental]☆30Jul 9, 2026Updated last month
- This repository contains the source html files for the website complex-analysis.com☆19May 30, 2026Updated 3 months ago
- NixOS Running on LicheePi 4A(RISC-V)☆46Jun 13, 2026Updated 2 months ago
- Verilog synthesis directly from idiomatic Python for numerical/DSP-heavy applications. Not an HDL.☆34Updated this week
- Formally Verified X.509 Certificate Validation☆15Nov 19, 2025Updated 9 months ago