quinn-dougherty / declare

quinn's personal infra hub
5 stars 0 forks source link
infrastructure-as-code nixos

NixOS configurations

Hercules CI Built With Nix

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.

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)

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.