https://github.com/quinn-dougherty/declare
quinn's personal infra hub
https://github.com/quinn-dougherty/declare
infrastructure-as-code nixos
Last synced: 2 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 (about 3 years ago)
- Default Branch: main
- Last Pushed: 2025-07-07T13:40:57.000Z (6 months ago)
- Last Synced: 2025-07-07T14:54:00.568Z (6 months ago)
- Topics: infrastructure-as-code, nixos
- Language: Nix
- Homepage:
- Size: 61.8 MB
- Stars: 7
- Watchers: 2
- Forks: 0
- Open Issues: 5
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
> Out of doubt, out of dark, to the day's rising
Éomer

[![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 |
| :----------: | :-------------------------------------------- |
| `nogrod` | daily driver (framework 13 batch 5) |
| `belegost` | hercules ci, jellyfin, vaultwarden (onprem) |
| `khazad-dum` | just `homeManagerConfiguration` for a Manjaro |
There's a bunch of dead code in here, inactive modules and even inactive hosts.
## 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.
