{ pkgs }:
with pkgs; [
  # General packages for development and system management
  just
  mas
  mdbook
  ouch
  podman
  ripgrep
  tectonic
  typst

  # Encryption and security tools
  gnupg

  # Text and terminal utilities
  neovim
  zoxide
  pympress

  # C(++) development tools
  bison
  clang-tools
  cmake
  flex
  llvm
  ninja
  sccache

  # Go development tools
  go

  # Python development tools
  uv

  # Rust development tools
  rustup
  trunk

  # MiniZinc solvers
  gecode
  # or-tools

  # Decision Science tools
  clingo

  # Nix development tools
  nixpkgs-fmt
  nixd

  # Proof tools
  elan

  # Node.js development tools
  prettier
  corepack
  nodejs
]