A personal MobileNixos adventure
☆23Sep 27, 2022Updated 3 years ago
Alternatives and similar repositories for mobile-nixos-cfg
Users that are interested in mobile-nixos-cfg are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A template for the oneplus-enchilada (OnePlus 6) using Mobile NixOS☆12May 2, 2023Updated 2 years ago
- Code for my blog☆11Feb 26, 2017Updated 9 years ago
- A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions☆10Mar 26, 2017Updated 9 years ago
- The customizable embedded Linux using Nix.☆70Dec 29, 2022Updated 3 years ago
- Declaratively manage rsync deployments in NixOS/Home-manager☆31Jan 13, 2024Updated 2 years 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.
- Config flake for @LunNova's personal systems, build farm, router, GPU & k8s cluster.☆36Mar 19, 2026Updated last week
- User-configurable login shell☆62Jun 3, 2024Updated last year
- Caryll font editor☆20Feb 3, 2016Updated 10 years ago
- A MySQL API for Lean 4☆20Mar 11, 2022Updated 4 years ago
- (WIP) Nix CI pull request review website☆51Oct 30, 2024Updated last year
- My (semi-)literate dotfiles for Nix, Emacs, fish, etc, managed with home-manager and GNU Stow☆55Mar 15, 2026Updated 2 weeks ago
- Nix Android build tests☆35Mar 22, 2020Updated 6 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 7 months ago
- ☆19Oct 13, 2015Updated 10 years 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.
- Random config (v2, clean history)☆26Mar 22, 2026Updated last week
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- my NixOS/home-manager config☆38Nov 19, 2025Updated 4 months ago
- 📱 (rebooting... please wait...)☆1,263Feb 28, 2026Updated last month
- Create NixOS ISO images for use with initializing Yubikeys☆36Nov 27, 2020Updated 5 years ago
- embed haskell diagrams in emacs org-mode files☆10Apr 7, 2016Updated 9 years ago
- ☆17May 31, 2022Updated 3 years ago
- Nix hash collection software, to aggregate build reports from several builders [maintainer=@JulienMalka, @raboof]☆45Updated this week
- ☆14Feb 7, 2026Updated last month
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- TDD Exercise☆13Mar 15, 2010Updated 16 years ago
- Fixed length vector for haskell☆21Feb 28, 2026Updated last month
- My flake based NixOS configuration☆16Feb 13, 2026Updated last month
- ☆14Nov 1, 2024Updated last year
- Automatically generates Hydra jobset reports using `nix-review-tools`, updated hourly.☆16Updated this week
- This nixpkgs extension, called nixcloud-webservices, focuses on ease of deployment of web-related technologies.☆189Oct 18, 2024Updated last year
- Import Nix projects regardless of how they are exposed.☆33Nov 9, 2025Updated 4 months ago
- Configuration files (.emacs)☆23Mar 23, 2026Updated last week
- Did someone say... vim?☆20Apr 13, 2020Updated 5 years 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.
- Debian image builder for MSM8916 based 4G modem dongles☆25Feb 25, 2026Updated last month
- An expression to build Pandoc documents with Nix☆18Jul 24, 2023Updated 2 years ago
- ☆11Nov 18, 2021Updated 4 years ago
- Yixe is an experimental interface to declarative build environments.☆21Apr 1, 2025Updated 11 months ago
- Übersicht widget : Dynamically updating line chart that shows total uploaded and downloaded data being transferred to your Mac in kB. Hea…☆10May 28, 2017Updated 8 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆19May 5, 2021Updated 4 years ago
- ☆21May 22, 2025Updated 10 months ago