NixOS configurations for multiple computers
☆14Nov 3, 2014Updated 12 years ago
Alternatives and similar repositories for nix-config
Users that are interested in nix-config are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Library for Nix expression dependency generation☆11Jun 25, 2015Updated 11 years ago
- NixOps deployment☆32May 3, 2018Updated 8 years ago
- Cookbook for working with Nix☆13Jan 10, 2015Updated 11 years ago
- Python API za supervizor.kpk-rs.si☆12May 22, 2014Updated 12 years ago
- Futuristic New Age Golden Test management☆15Sep 27, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A translation of Certified Programming with Dependent Types to Idris.☆13May 2, 2014Updated 12 years ago
- Derive a mock server for free from your servant API types☆19Nov 8, 2023Updated 2 years ago
- [Unmaintained]☆14Nov 7, 2019Updated 6 years ago
- A simple XML module for Idris.☆12May 22, 2020Updated 6 years ago
- Superseded by /yaxu/tidal/☆12Feb 26, 2013Updated 13 years ago
- A Heroku buildpack using Nix.☆13Mar 28, 2017Updated 9 years ago
- A Haskell library for manipulating Java class files☆16Mar 16, 2014Updated 12 years ago
- What I Wish I Knew While Learning Nix☆33Dec 9, 2021Updated 4 years ago
- My NixOS configuration and custom Nix derivations.☆154Sep 10, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Packer definition for NixOS. It builds a Vagrant box for NixOS 14.04 x86_64.☆29May 4, 2016Updated 10 years ago
- A tool to fill in the version ranges in a cabal file.☆16Jun 21, 2015Updated 11 years ago
- Build NixOS ISO for my shiny new rMBP☆14May 5, 2018Updated 8 years ago
- nix-build extension for better logging☆17Sep 23, 2025Updated last year
- i3 project manager similar to tmuxinator☆14Sep 19, 2014Updated 12 years ago
- ☆11May 2, 2013Updated 13 years ago
- Discover the world of Racket programming! This repository showcases four projects, including a Trafficlights simulation with Arduino, a V…☆10Jul 28, 2023Updated 3 years ago
- Alice ML implementation☆16Nov 25, 2022Updated 3 years ago
- g-pypi manages ebuilds for Gentoo Linux using information in PyPi (Python Package Index)☆16Jan 20, 2014Updated 12 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.
- Shen implementation in Haskell☆16Aug 19, 2013Updated 13 years ago
- Automatic code formatter for the Nix programming language☆49Sep 21, 2016Updated 10 years ago
- This content has moved to Notion☆32Dec 22, 2021Updated 4 years ago
- ☆25Aug 10, 2016Updated 10 years ago
- org-babel support for generating various diagrams using diagrams backend☆12May 17, 2020Updated 6 years ago
- Predictable Haskell development environments with Cabal and Nix.☆66Oct 18, 2019Updated 7 years ago
- Happy Haskell Hacking with Atom and ghc-mod☆29May 27, 2015Updated 11 years ago
- ☆19Mar 23, 2017Updated 9 years ago
- ☆11Mar 7, 2012Updated 14 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 神.java | Shen for Java. Shen is a portable functional programming language by Mark Tarver.☆12Sep 20, 2014Updated 12 years ago
- Keep your STEEM from escaping: secure your keys with SteemPressure☆13Aug 14, 2016Updated 10 years ago
- An old tutorial for using `Effects` in Idris.☆23Sep 10, 2015Updated 11 years ago
- A special shebang to run scripts in a nix-shell☆29Apr 22, 2015Updated 11 years ago
- Hit-a-hint mouseless keyboard navigation for Gtk apps☆22Mar 30, 2014Updated 12 years ago
- info site about coliving☆13Aug 2, 2016Updated 10 years ago
- Auth0 API in Haskell☆28Oct 18, 2018Updated 8 years ago