Exploring low-level Nix, NixOS and system concepts
☆23Nov 11, 2019Updated 6 years ago
Alternatives and similar repositories for nix-lowlevel-experiments
Users that are interested in nix-lowlevel-experiments are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- nixpkgs aiming for exploiting tools, which may include non-official package or difficult to push to mainstream.☆13Jul 25, 2022Updated 4 years ago
- Parser for ELF object format.☆12Dec 24, 2021Updated 4 years ago
- Generate Nix Flakes imperatively.☆21Nov 28, 2023Updated 2 years ago
- A collection of software packages managed with dream2nix [maintainer=@DavHau]☆30Mar 12, 2025Updated last year
- Tools to create channels from hydra jobsets☆39Jul 8, 2026Updated 2 weeks 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.
- Serve your /nix/store directory over the internet☆92Feb 9, 2022Updated 4 years ago
- Linux From Scratch, but it's Nix☆37Jul 23, 2021Updated 5 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- On-demand provisioning tool for Hydra☆29Apr 25, 2019Updated 7 years ago
- EXPERIMENTAL -- A highly composable system ctl tool☆14Oct 31, 2022Updated 3 years ago
- Example project for developing PureScript projects with Nix☆19Aug 30, 2018Updated 7 years ago
- Experimental Nix-based process management framework☆253Dec 3, 2023Updated 2 years ago
- Kubernetes resource builder using nix☆19Jun 1, 2021Updated 5 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 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.
- A more efficient way to store and substitute Nix store paths☆81Jan 2, 2023Updated 3 years ago
- Control your c++ code using this ci template and development environment powered by nix and docker.☆22Jan 7, 2025Updated last year
- ☆19Jul 31, 2019Updated 6 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Snapshot testing for Nix based on haumea [maintainer=@figsoda]☆144Updated this week
- Atidot Code Snippets☆10Mar 9, 2020Updated 6 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago
- Nix language server that evaluates code☆65Jun 19, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Oct 10, 2024Updated last year
- Remote boot server for NixOS clients☆23Dec 30, 2015Updated 10 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Nix binary cache implemented in rust using libnix-store☆103May 24, 2023Updated 3 years ago
- building aosp roms (e.g. LineageOS) with nix. because why not?☆32Feb 3, 2021Updated 5 years ago
- ☆53Mar 27, 2023Updated 3 years ago
- Simple testing toolkit☆10May 28, 2021Updated 5 years ago
- Global registry of Nix flakes☆128Jun 27, 2026Updated 3 weeks ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The CIMENT (Gricad-calcul) Nix channel☆20Jan 13, 2020Updated 6 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 3 years ago
- An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"☆17Jan 26, 2018Updated 8 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 6 years ago
- Parser for the Nix Expressions Language☆107Nov 25, 2022Updated 3 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago