Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859{ 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]