☆17Jun 24, 2021Updated 4 years ago
Alternatives and similar repositories for nixos-firecracker
Users that are interested in nixos-firecracker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Jun 30, 2021Updated 4 years ago
- Yosys plugin for synthesis of Bluespec code☆15Sep 8, 2021Updated 4 years ago
- Miscellaneous components for bluespec☆11Nov 18, 2024Updated last year
- Queue and retry Nix post-build-hook [maintainer=@jfroche]☆30Updated this week
- SLSA provenance using Nix and Github Actions☆20Sep 11, 2025Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Nix Flake Update daemon☆31Mar 16, 2026Updated last week
- Sandboxed environments with bwrap and nix-shell☆29Jul 9, 2022Updated 3 years ago
- A gentle and thoroughly tested guide up the Nix Flakes learning curve☆10Feb 24, 2021Updated 5 years ago
- DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.☆18Sep 17, 2016Updated 9 years ago
- Docker containers on a Tailnet☆21Nov 20, 2022Updated 3 years ago
- ☆10Mar 18, 2020Updated 6 years ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Feb 17, 2022Updated 4 years ago
- Rust types for the debug server protocol☆11Jul 7, 2019Updated 6 years ago
- I ❤︎ FEM: A finite element method demo in Umka and tophat☆18Jul 12, 2025Updated 8 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Regex Engine using SIMD and Roaring-Bitmaps☆11Dec 26, 2022Updated 3 years ago
- A game development framework that provides basic tooling and a content authoring workflow☆58Nov 7, 2020Updated 5 years ago
- An ideals based infrastructure project.☆17Aug 10, 2025Updated 7 months ago
- A GitHub action to automatically update nix flake dependencies☆20Mar 14, 2026Updated last week
- A more efficient way to store and substitute Nix store paths☆81Jan 2, 2023Updated 3 years ago
- Generate systemd units from NixOS-style descriptions☆50Jul 26, 2023Updated 2 years ago
- A scratchpad for small experimental things I am doing with Nix.☆110Nov 19, 2025Updated 4 months ago
- My (semi-)literate dotfiles for Nix, Emacs, fish, etc, managed with home-manager and GNU Stow☆55Mar 15, 2026Updated last week
- Render multiple files from dhall expressions☆18Jun 2, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Linux From Scratch, but it's Nix☆37Jul 23, 2021Updated 4 years ago
- ☆14Sep 25, 2013Updated 12 years ago
- Fetch derivations from your friends.☆23Dec 14, 2025Updated 3 months ago
- A poor and hacky attempt at re-serving local nix packages that came from trusted sources☆26Mar 24, 2023Updated 3 years ago
- A Lima template for using the Nix package manager☆22Oct 5, 2022Updated 3 years ago
- About Telescope extension wrapper around `:changes`☆11Jun 28, 2023Updated 2 years ago
- My personal branch of the freetype2 source code☆16Dec 13, 2022Updated 3 years ago
- ☆22Jan 21, 2026Updated 2 months ago
- WIP UEFI Display Driver for embedded-graphics☆25Jul 29, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Send nixpkgs tarballs to Software Heritage [maintainer=@nlewo]☆37Oct 19, 2025Updated 5 months ago
- Cross-compilation framework based on the Shake Haskell library.☆28Feb 9, 2021Updated 5 years ago
- ☆20Nov 26, 2024Updated last year
- EDAV: Open-Source EDA Viewer; render design LEF/DEF files in your browser!☆75Jan 6, 2023Updated 3 years ago
- Nix hash collection software, to aggregate build reports from several builders [maintainer=@JulienMalka, @raboof]☆45Updated this week
- Free original music for film and video game projects (CC-licensed)☆23Jan 23, 2020Updated 6 years ago
- ☆14Jul 23, 2021Updated 4 years ago