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

    cmake
    catch2_3
    gnumake

    jupyter
    (python314.withPackages (
      python-pkgs: with python-pkgs; [
        matplotlib
        ipykernel
      ]
    ))
    # See here on how to install a kernel https://www.geeksforgeeks.org/python/managing-jupyter-kernels-a-comprehensive-guide/
  ];
}