Multi-host nixos configuration with flakes & home manager

Manages secrets, private and public servers, and various personal computers

Unit tests many parts of the operating systems through custom scripts

Many smaller custom scripts written in racket, perl, and python

Uses various self-made flakes such as gitboy for declarative git repository management and nixtants for constants management

Has a custom secrets management system through the ynternals flake

Currently in the process of using terraform to set up the cloud environment declaratively

source code hosted on github at https://github.com/givikuna/nixfiles

Lisp-inspired language that compiles to pure nix code

Useable for nix configurations and flakes

Optionally allows users to use a fully-featured (non Martin-Löf) type system for nix type-safety

Allows for modular and easy migration from nix

Written in Odin

Source code hosted on github at <a href="https://github.com/givikuna/nixp>https://github.com/givikuna/nixp

A solution for managing secrets declaratively with symmetric keys in NixOS

Uses AES-256 for symmetrically encrypting secrets for Nix systems

Does not store the decrypted secrets in the world-readable nix store

Distributed via a Nix flake

Source code hosted on github at https://github.com/givikuna/ynternals

Clean and portable way to manage free-form structured constants for Nix configurations via flakes

Source code hosted on github at https://github.com/givikuna/nixtants

Multi-paradigm transpile-to-javascript language written in Rust

Loid tries to integrate a Martin-Löf type system into an OOP paradigm

Written in rust and managed via nix flakes

Designed to be batteries-included out of the box, with a large core library and many useful quirks

Source code hosted on github at https://github.com/Loid-Project/loid/