andreoss / kernel-overlay
linux kernel overlay
☆12Updated this week
Related projects: ⓘ
- A GitHub action to automatically update nix flake dependencies☆16Updated this week
- Prebuild cross-compiling toolchains for various targets [maintainers=@Mic92]☆10Updated 2 years ago
- cursed☆12Updated last year
- A linting framework designed to run checks & fixes incrementally in your project (using Nix flakes). Mirror of code maintained at gitlab.…☆10Updated 3 months ago
- Expressions to change the world (just a tiny bit)☆16Updated this week
- Personal Hidden Git Server☆23Updated 2 years ago
- NixOS Module Documentation generator☆16Updated last year
- Use the same module system that leverages NixOS to configure your emacs customization☆12Updated 2 years ago
- Implementation of RFC-0125's datatype and synthesis tooling.☆24Updated this week
- ☆14Updated 6 months ago
- Parts of Nix ported to Rust☆19Updated 10 months ago
- Nix' call-flake. Extracted.☆20Updated this week
- Common styles for NixOS related web sites.☆10Updated 8 months ago
- Skips build/evaluation based on modification date of nix files.☆18Updated last month
- NixOS modules that don't quite belong in NixOS.☆15Updated 3 years ago
- A mini merge DSL for data overlays☆28Updated 10 months ago
- Authenticate a tarball through a signed tag in a git repository (with reproducible builds)☆15Updated 2 years ago
- User-configurable login shell configured by the SHELLS environment variable.☆19Updated 3 months ago
- Taking Nix Offline☆28Updated last year
- Text API (TAPI) files to support a pure build environment on macOS in nixpkgs.☆15Updated 3 months ago
- experimental nix prelude☆25Updated last year
- channels.nix.gsc.io☆15Updated last year
- ☆11Updated 11 months ago
- Modular generated command line interfaces using the same technology as the NixOS module system.☆41Updated last year
- Darwin build box for Nix community members☆25Updated 10 months ago
- Get the packages from NixPkgs found in your system's Nix Store☆16Updated 7 months ago
- a next‐generation free software build system☆24Updated 3 years ago
- A collection of software packages managed with dream2nix [maintainer=@DavHau]☆28Updated 2 months ago
- An ssh server that creates new users on-the-fly, great for letting users participate in a demo☆15Updated 9 months ago
- An optimizing Brainfuck interpreter.☆13Updated 5 years ago