{
  inputs = {
    nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
    juvix-nix.url = "github:taryune/juvix-nix";
  };

  outputs = { self, nixpkgs, juvix-nix, ... }: {
    # For NixOS system configuration
    nixosConfigurations.your-hostname = nixpkgs.lib.nixosSystem {
      modules = [
        {
          nixpkgs.overlays = [
            juvix-nix.overlays.default
          ];
        }
      ];
    };

    # Or for home-manager
    homeConfigurations.your-username = home-manager.lib.homeManagerConfiguration {
      pkgs = nixpkgs.legacyPackages.x86_64-linux;
      modules = [
        {
          nixpkgs.overlays = [
            juvix-nix.overlays.default
          ];
          home.packages = [ pkgs.juvix ];
        }
      ];
    };
  };
}