https://github.com/quinn-dougherty/declare

quinn's personal infra hub
https://github.com/quinn-dougherty/declare

infrastructure-as-code nixos

Last synced: 3 months ago
JSON representation

quinn's personal infra hub

• Host: GitHub
• URL: https://github.com/quinn-dougherty/declare
• Owner: quinn-dougherty
• Created: 2022-10-15T17:56:06.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-10-23T20:13:01.000Z (3 months ago)
• Last Synced: 2024-10-24T07:13:39.382Z (3 months ago)
• Topics: infrastructure-as-code, nixos
• Language: Nix
• Homepage:
• Size: 22.8 MB
• Stars: 5
• Watchers: 2
• Forks: 0
• Open Issues: 7
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# NixOS configurations

[![Hercules CI][hci badge]][hci link]

[![Built With Nix][bwn badge]][bwn link]

[bwn badge]: https://builtwithnix.org/badge.svg

[bwn link]: https://builtwithnix.org

[hci badge]: https://hercules-ci.com/api/v1/site/github/account/quinn-dougherty/project/declare/badge

[hci link]: https://hercules-ci.com/github/quinn-dougherty/declare/status

|     Machine      | Function                                                         |

| :--------------: | :--------------------------------------------------------------- |

|     `corise`     | phone (not daily driving yet)                                    |

|      `rise`      | daily driver (framework 13 batch 5)                              |

|     `grind`      | hercules ci server, nextcloud (maybe router eventually) (onprem) |

|    `cogrind`     | monitor `grind`, plus other services with digital ocean uptime   |

| `cogrindenstern` | just `homeManagerConfiguration` for an ubuntu                    |

## Developer shells

I have very basic shells for modest and generic projects in rust, js, python, coq, ocaml, haskell. Suitable for bootstrapping.

```sh

nix develop github:quinn-dougherty/declare#rust

nix develop github:quinn-dougherty/declare#python

```

Including for monorepos of up to three different kits (these are examples, but you can use any permutation of the 6)

```sh

nix develop github:quinn-dougherty/declare#python-ocaml

nix develop github:quinn-dougherty/declare#js-rust

nix develop github:quinn-dougherty/declare#haskell-coq-js

nix develop github:quinn-dougherty/declare#python-rust-js

```

The shells are the only aspect of these repo that's vendored for direct usage.