Alternatives and similar repositories for nixos_home

Users that are interested in nixos_home are comparing it to the libraries listed below

• mudrii / hmtst

  View on GitHub
  ☆16May 5, 2022Updated 3 years ago
• massung / parsec

  View on GitHub
  Parsec-style parsing for Erlang
  ☆33Sep 3, 2011Updated 14 years ago
• home-mangler / home-mangler

  View on GitHub
  A friendly Nix profile manager
  ☆29Aug 18, 2025Updated 5 months ago
• codeghar / openbsd-on-erl

  View on GitHub
  Ansible playbook to configure & manage OpenBSD on EdgeRouter Lite (ERL) or USG for a home network gateway
  ☆23Sep 23, 2021Updated 4 years ago
• Leixb / flake-templates

  View on GitHub
  Opinionated nix flake templates
  ☆29Feb 11, 2023Updated 3 years ago
• JockLawrie / MultinomialRegression.jl

  View on GitHub
  ☆11Oct 25, 2024Updated last year
• hoostus / beancount-ynab

  View on GitHub
  Importer from YNAB to beancount
  ☆11Feb 13, 2024Updated 2 years ago
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months ago
• perpetual-education / pssst-css

  View on GitHub
  A CSS methodology so great, it needed a name...
  ☆12Nov 6, 2025Updated 3 months ago
• combinators / cls-scala

  View on GitHub
  (CL)S - Combinatory Logic Synthesizer
  ☆12Oct 1, 2021Updated 4 years ago
• kirillrdy / nixos-installer

  View on GitHub
  ☆10May 28, 2025Updated 8 months ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• caffienerd / struct-cli

  View on GitHub
  struct is a smarter tree command built in Rust, focused on presenting clean, meaningful project structure instead of drowning users in de…
  ☆28Updated this week
• JLMoriart / OverKeys-Generator

  View on GitHub
  ☆14Oct 14, 2024Updated last year
• paolobrasolin / string-diagrams

  View on GitHub
  Create string diagrams with LaTeX!
  ☆14Jan 3, 2025Updated last year
• budougumi0617 / lgen

  View on GitHub
  Generate boilerplates for layered architecture by your templates.
  ☆13Dec 27, 2019Updated 6 years ago
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• allard-archive / pfw

  View on GitHub
  The web gui for the OpenBSD pf firewall
  ☆16Feb 9, 2010Updated 16 years ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• absw / blue_hal

  View on GitHub
  Rust HAL repp
  ☆12Apr 25, 2022Updated 3 years ago
• JamesAtIntegratnIO / nix-dotfiles

  View on GitHub
  ☆10Dec 29, 2023Updated 2 years ago
• shakiyam / pptx2txt

  View on GitHub
  pptx2txt is a tool that converts PowerPoint .pptx format to text.
  ☆13Updated this week
• soegaard / super

  View on GitHub
  Adds syntax to racket languages
  ☆11Aug 17, 2022Updated 3 years ago
• ice1000 / copilot-learning-materials

  View on GitHub
  My type-ups for copilot to learn from.
  ☆11Aug 30, 2022Updated 3 years ago
• jbn / fast_proportional_selection

  View on GitHub
  A (simple) performance evaluation of proportional selection using Python.
  ☆11Jul 2, 2015Updated 10 years ago
• lienching / pci-ids.rs

  View on GitHub
  Cross-platform Rust wrappers for the PCI ID Repository
  ☆11Oct 3, 2025Updated 4 months ago
• pmatos / racket-binaryen

  View on GitHub
  Binaryen bindings for Racket
  ☆11Oct 20, 2021Updated 4 years ago
• garlicgambit / custom-openbsd-templates

  View on GitHub
  Security hardened OpenBSD templates
  ☆10Jun 10, 2018Updated 7 years ago
• skanehira / denops-openai.vim

  View on GitHub
  ☆11Sep 20, 2023Updated 2 years ago
• BuoyantIO / linkerd-buoyant

  View on GitHub
  Linkerd Buoyant releases
  ☆13Jan 30, 2026Updated 2 weeks ago
• yihozhang / egraph-sqlite

  View on GitHub
  egraph on top of sqlite
  ☆13Mar 8, 2022Updated 3 years ago
• Vanclief / ez

  View on GitHub
  Minimalistic package for handling Go errors in an easy way
  ☆13Oct 31, 2024Updated last year
• bitfield / shellspy

  View on GitHub
  A project template for a shell transcript recorder in Go
  ☆13Nov 28, 2022Updated 3 years ago
• k1LoW / gh-do

  View on GitHub
  gh-do is a tool to do anything using GitHub credentials
  ☆17Oct 23, 2025Updated 3 months ago
• gavinhungry / combust

  View on GitHub
  nftables firewall script
  ☆13Sep 18, 2023Updated 2 years ago
• BuoyantIO / linkerd-workshops

  View on GitHub
  Content for Linkerd workshops
  ☆13Oct 30, 2024Updated last year
• ots22 / racket-ad-demos

  View on GitHub
  Exploring Automatic Differentiation with Racket
  ☆12Jan 9, 2022Updated 4 years ago
• JonasHoefer / poset-type-theory

  View on GitHub
  Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
  ☆13Aug 19, 2024Updated last year