{
  config,
  pkgs,
  lib,
  ...
}:
{
  environment.systemPackages = with pkgs; [
    haskell.compiler.ghcHEAD
    dotnet-sdk_10
    netcoredbg

    cmake
    catch2_3
    gnumake

    jupyter
    # Do not forget to update the version in the jupyter kernel when updating
    (python314.withPackages (
      python-pkgs: with python-pkgs; [
        matplotlib
        ipykernel
	pandas
	lxml
	requests
	python-dotenv
	seaborn
      ]
    ))

    javaPackages.compiler.openjdk25
  ];
}