An example of how to package Coreboot in Nix
☆19May 3, 2021Updated 5 years ago
Alternatives and similar repositories for nix-coreboot
Users that are interested in nix-coreboot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Oct 14, 2020Updated 5 years ago
- Discover the Best Hardening Options for Systemd Services in NixOS☆28May 13, 2022Updated 4 years ago
- Wireshark dissector for the Nix daemon protocol.☆17Sep 11, 2025Updated 11 months ago
- NixOS-based USB rescue image☆18Oct 30, 2023Updated 2 years ago
- python scripts to run qemu and gluon based virtual mesh networks☆10Dec 18, 2023Updated 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.
- Realise Nix derivations on demand.☆14Feb 10, 2025Updated last year
- ☆18Mar 13, 2023Updated 3 years ago
- nix ipam implantation - your documentation is your configuration☆24May 20, 2024Updated 2 years ago
- ☆25Jan 22, 2025Updated last year
- Mirror of gti.telent.net:dan/liminix☆184Aug 10, 2026Updated 2 weeks ago
- iPXE image for Nix builders on Equinix Metal's Spot market.☆49Nov 9, 2024Updated last year
- ☆26Updated this week
- Simple cli utility that pushes NixOS configuration and triggers a rebuild using ssh.☆34Dec 30, 2020Updated 5 years ago
- An operating system generator, based on nixos, focused on installation☆55Feb 15, 2026Updated 6 months ago
- 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.
- Nix2NVimRc is a set of Nix expressions to configure NVim in Nix☆14Jun 6, 2026Updated 2 months ago
- ☆24Apr 8, 2026Updated 4 months ago
- ☆58May 27, 2026Updated 3 months ago
- A concurrent async test framework using Python's asyncio☆19Jun 12, 2026Updated 2 months ago
- Export Prometheus-style metrics about mail server functionality☆48Aug 15, 2024Updated 2 years ago
- Build nix targets based on git repository directories☆27Mar 31, 2025Updated last year
- A graphical interface to set options on devices with coreboot firmware☆37May 21, 2021Updated 5 years ago
- Queue and retry Nix post-build-hook [maintainer=@jfroche]☆30Updated this week
- Naive implementation of Profunctor Optics in Nix☆19Jan 23, 2026Updated 7 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 8 years ago
- A matrix bot to get notified of nixpkgs-update build failures☆24Apr 6, 2026Updated 4 months ago
- ESPer - Space Automation Firmware for ESP8266☆13Apr 11, 2020Updated 6 years ago
- Automatically create binary repositories from AUR packages☆15Mar 15, 2020Updated 6 years ago
- NixOS modules for matrix related services☆24Updated this week
- A Nix DSL that compiles to Lua☆29May 19, 2026Updated 3 months ago
- A Gerrit CLI☆23Mar 24, 2026Updated 5 months ago
- Console modchip style flexpcb to add a Stemma QT connector on an SOIC-8 EEPROM☆18Mar 24, 2026Updated 5 months ago
- NixOS on Allwinner D1 RISC-V☆39Oct 21, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Yixe is an experimental interface to declarative build environments.☆22Apr 1, 2025Updated last year
- Finds strings in a large list of cached NixOS store paths☆25May 22, 2024Updated 2 years ago
- Scripts to build the Linux kernel from a config file and initrd from a list of programs☆27Sep 10, 2025Updated 11 months ago
- FUSE filesystem that decrypts age secrets on the fly☆19Feb 5, 2026Updated 6 months ago
- An over-engineered thesis template☆21Oct 10, 2024Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Tool for talking to ITE ECs via SMBus debug interface (DBGR/SMB)☆18May 3, 2023Updated 3 years ago