Alternatives and similar repositories for nixos-config

Users that are interested in nixos-config are comparing it to the libraries listed below

• mogria / nixos-config

  View on GitHub
  My nixos configuration
  ☆14Jan 22, 2022Updated 4 years ago
• DelusionalLogic / NeoComp

  View on GitHub
  A new place for a fork of a compositor for X11
  ☆19Mar 4, 2022Updated 3 years ago
• jD91mZM2 / dotfiles

  View on GitHub
  Literally just my "dotfiles" (except most don't even have dots in front of them). Not interesting, but 'kay.
  ☆28Mar 18, 2021Updated 4 years ago
• NixOS / hydra-provisioner

  View on GitHub
  On-demand provisioning tool for Hydra
  ☆30Apr 25, 2019Updated 6 years ago
• idris-hackers / idrispkgs

  View on GitHub
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Sep 10, 2015Updated 10 years ago
• 7c6f434c / lang-os

  View on GitHub
  A minimal system managed by policy daemons with configuration being arbitrary code
  ☆34Jan 23, 2026Updated 3 weeks ago
• serokell / foundry

  View on GitHub
  Morte IDE
  ☆29Apr 3, 2025Updated 10 months ago
• abutnaru / untanglr

  View on GitHub
  Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.
  ☆14Sep 2, 2022Updated 3 years ago
• regdude / makeup

  View on GitHub
  ☆11Jul 15, 2023Updated 2 years ago
• alexhumphreys / idrall

  View on GitHub
  Dhall bindings for Idris
  ☆41Aug 14, 2025Updated 6 months ago
• coreyoconnor / nix_configs

  View on GitHub
  The NixOS configuration library I use for my homelab
  ☆44Jan 14, 2026Updated last month
• mmsbrggr / hsudoku

  View on GitHub
  A native gtk sudoku game written in haskell
  ☆34May 29, 2017Updated 8 years ago
• richardanaya / mochi

  View on GitHub
  A simple game engine using Gtk & Cairo
  ☆14Aug 4, 2020Updated 5 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus

  View on GitHub
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Jan 11, 2015Updated 11 years ago
• ashokgelal / gorilla

  View on GitHub
  Golang Web Toolkit
  ☆16Nov 5, 2011Updated 14 years ago
• LineageOS / android_kernel_asus_grouper

  View on GitHub
  ☆10Apr 8, 2018Updated 7 years ago
• zkhcohen / prometheus-dyson-exporter

  View on GitHub
  ☆10Mar 3, 2025Updated 11 months ago
• Ciphey / enCiphey

  View on GitHub
  Literally does the opposite of Ciphey. Encrypts text.
  ☆11Feb 25, 2021Updated 4 years ago
• stefan-hoeck / chemf

  View on GitHub
  A purely functional cheminformatics toolkit written in Scala
  ☆16Jun 7, 2013Updated 12 years ago
• launchdarkly / api-client-go

  View on GitHub
  LaunchDarkly API Client for Go
  ☆12Feb 3, 2026Updated last week
• bobbbay / dotfiles

  View on GitHub
  ~. Nix all the things!
  ☆41Aug 16, 2023Updated 2 years ago
• kinnala / nixemacs

  View on GitHub
  My Nix and Emacs setup using org-babel
  ☆40Jan 5, 2024Updated 2 years ago
• dramforever / scratchix

  View on GitHub
  Linux From Scratch, but it's Nix
  ☆37Jul 23, 2021Updated 4 years ago
• marcusklaas / lisp-interpreter

  View on GitHub
  A bare bones lisp parser & interpreter
  ☆11Jan 26, 2021Updated 5 years ago
• 8Gitbrix / 2048Haskell

  View on GitHub
  Play 2048 from the command line /terminal !
  ☆45Dec 5, 2017Updated 8 years ago
• mrb / idris-ruby

  View on GitHub
  Yes, really!
  ☆11May 8, 2015Updated 10 years ago
• ropg / oskb

  View on GitHub
  On-Screen keyboard for Linux, written in python with qt
  ☆13Apr 30, 2020Updated 5 years ago
• peteshand / fuse

  View on GitHub
  2D WebGL Graphics Library
  ☆12Dec 15, 2020Updated 5 years ago
• dskinner / damsel

  View on GitHub
  Package damsel provides html outlining via css-selectors and common template functionality.
  ☆24Apr 7, 2016Updated 9 years ago
• MatthijsKamstra / slidrr

  View on GitHub
  Create a presentation written in MarkDown
  ☆10Apr 10, 2018Updated 7 years ago
• portly / pairish

  View on GitHub
  Pair Programming made user-friendly with your web browser.
  ☆94Oct 5, 2022Updated 3 years ago
• charliezcr / Kpop-Data-Analysis

  View on GitHub
  Data analysis about K-pop industry, artists, and companies. Visualized business performances of public K-pop companies and analyzed artis…
  ☆14Sep 21, 2021Updated 4 years ago
• gobolinux / ThirdPartyInstallers

  View on GitHub
  Handles the installation of packages in non-native formats such as RPM and DEB.
  ☆10Jan 11, 2021Updated 5 years ago
• RawToast / bouken

  View on GitHub
  React based ASCII Rogue
  ☆11Nov 20, 2025Updated 2 months ago
• Conreality / conreality

  View on GitHub
  Don't panic, it's just a game.
  ☆11Sep 29, 2016Updated 9 years ago
• input-output-hk / cardano-faucet

  View on GitHub
  Faucet for Cardano
  ☆10Jan 24, 2026Updated 3 weeks ago
• k1complete / elixir_primer

  View on GitHub
  A primer of programming language Elixir
  ☆11Oct 25, 2014Updated 11 years ago
• alpacaaa / elm-date-distance

  View on GitHub
  Date/Time distance helpers: time ago, less than 5 minutes, about 1 month...
  ☆13Mar 13, 2019Updated 6 years ago
• schell / glucose

  View on GitHub
  An API that wraps webgl and opengl
  ☆11Oct 22, 2017Updated 8 years ago