NixOS-based USB rescue image
☆18Oct 30, 2023Updated 3 years ago
Alternatives and similar repositories for nixos-rescue
Users that are interested in nixos-rescue are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Nix library for making websites☆34Jul 23, 2026Updated 3 months ago
- ☆10Updated this week
- An example of how to package Coreboot in Nix☆19May 3, 2021Updated 5 years ago
- Vim plugin for typing Esperanto language in any way (Esperanto keyboard, h, x, ^)☆15Jan 21, 2020Updated 6 years ago
- Devour all outputs in a Nix flake.☆104Feb 2, 2026Updated 9 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- My NixOS config☆39Updated this week
- Schemas for common flake output types☆131Jun 1, 2026Updated 5 months ago
- Add specified programs (apps) on PATH.☆21Aug 26, 2025Updated last year
- Declarative infrastructure for my hobbyist datacenter.☆18Oct 22, 2026Updated 2 weeks ago
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 8 years ago
- Some little things that make linux distros easier to use!☆19Nov 27, 2025Updated 11 months ago
- ☆87Updated this week
- A demo of gittuf☆13Oct 26, 2026Updated last week
- Experiments about running Haskell via WebAssembly on Fastly☆40Mar 9, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- monads can compose when distributive law exists.☆10Sep 17, 2012Updated 14 years ago
- 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
- Metascraper is a Crystal library for web scraping.☆11Mar 16, 2018Updated 8 years ago
- A Nix DSL that compiles to Lua☆29May 19, 2026Updated 5 months ago
- A fast library for graph/network manipulation☆11May 28, 2018Updated 8 years ago
- Opinionated and simplified headless NixOS installer.☆102Updated this week
- A Network (Graph) Analysis library for Crystal Language, inspired by NetworkX.☆11Jun 26, 2016Updated 10 years ago
- nix-types | type hints for nix☆93Oct 28, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- My Emacs configuration☆10Updated this week
- ☆10Jun 30, 2021Updated 5 years ago
- Minimal PID 1 for initramfs☆19Jan 16, 2025Updated last year
- Simple Note Taking Plugin☆16Oct 8, 2024Updated 2 years ago
- build go projects easily with zig☆31Jun 6, 2025Updated last year
- This library connects spec2.cr and mocks.cr, effectively enabling 'have_received' expectation for spec2.☆10Apr 9, 2017Updated 9 years ago
- Nix Algebraic Effects System with Handlers☆22Oct 11, 2026Updated 3 weeks ago
- ☆17Apr 13, 2023Updated 3 years ago
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 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.
- A simple optics library based on existential encoding☆14Apr 28, 2022Updated 4 years ago
- Create unattended NixOS installer images☆38Aug 22, 2024Updated 2 years ago
- My customized version of tmux, built with Nix.☆14Jul 28, 2026Updated 3 months ago
- QuickCheck implementation for Crystal Language☆13Mar 29, 2016Updated 10 years ago
- A tiny command line bookmark manager.☆12Aug 14, 2022Updated 4 years ago
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago
- Simple nix templates☆11Feb 29, 2024Updated 2 years ago