| packages/nixpkgs/haskellPackages.PropLogic | Propositional Logic |
| packages/nixpkgs/cp210x-program | EEPROM tool for Silabs CP210x USB-Serial adapter |
| packages/nixpkgs/texlivePackages.program | Typesetting programs and algorithms |
| packages/nixpkgs/haskellPackages.program | Programs with Environments and Managed Resources |
| packages/nixpkgs/haskellPackages.sbv-program | Component-based program synthesis using SBV |
| packages/nixpkgs/emacsPackages.choice-program | |
| packages/nixpkgs/haskellPackages.core-program | Opinionated Haskell Interoperability |
| packages/nixpkgs/haskellPackages.tasty-program | Use tasty framework to test whether a program executes correctly |
| packages/nixpkgs/sbclPackages.external-program | |
| packages/nixpkgs/sbclPackages.external-program-test | |
| packages/nixpkgs/haskellPackages.console-program | Interpret the command line and a config file as commands and options |
| packages/nixpkgs/dfu-programmer | Device Firmware Update based USB programmer for Atmel chips with a USB bootloader |
| packages/nixpkgs/haskellPackages.test-framework-program | Test framework support for running simple test programs |
| packages/nixpkgs/python312Packages.llama-index-program-openai | LlamaIndex Program Integration for OpenAI |
| packages/nixpkgs/python313Packages.llama-index-program-openai | LlamaIndex Program Integration for OpenAI |
| packages/nixpkgs/akkuPackages.r6rs-programs | Port of (rnrs programs) to R7RS |
| packages/nixpkgs/typstPackages.tuhi-programme-vuw | Template for 3-year degree overview tables |
| packages/nixpkgs/sbclPackages.small-coalton-programs | |
| packages/nixpkgs/haskellPackages.cabal-build-programs | Adds executable dependencies to the Cabal build |
| packages/nixpkgs/programmer-calculator | Terminal calculator for programmers |
| packages/nixpkgs/emacsPackages.programmer-dvorak | |
| packages/nixpkgs/rPackages.statprograms | |
| packages/nixpkgs/sbclPackages.linear-programming | |
| packages/nixpkgs/haskellPackages.kmn-programming | K_M,N quadratic programming |
| packages/nixpkgs/sbclPackages.linear-programming-test | |
| packages/nixpkgs/sbclPackages.linear-programming-glpk | |
| packages/nixpkgs/typstPackages.tuhi-programme-vuw_0_1_0 | Template for 3-year degree overview tables |
| packages/nixpkgs/haskellPackages.math-programming | A library for formulating and solving math programs |
| packages/nixpkgs/haskellPackages.math-programming-glpk | A GLPK backend to the math-programming library |
| packages/nixpkgs/haskellPackages.linear-programming | Linear Programming basic definitions |
| packages/nixpkgs/haskellPackages.math-programming-tests | Utility functions for testing implementations of the math-programming library |
| packages/nixpkgs/texlivePackages.apprendre-a-programmer-en-tex | The book "Apprendre a programmer en TeX" |
| packages/nixpkgs/emacsPackages.competitive-programming-snippets | |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-nv__gpu__program5 | |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-nv__gpu__program4 | |
| packages/nixpkgs/python313Packages.sphinxcontrib-programoutput | Sphinx extension to include program output |
| packages/nixpkgs/python314Packages.sphinxcontrib-programoutput | Sphinx extension to include program output |
| packages/nixpkgs/python312Packages.sphinxcontrib-programoutput | Sphinx extension to include program output |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-nv__vertex__program | |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-mesa__program__debug | |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-nv__vertex__program3 | |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-nv__vertex__program4 | |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-arb__vertex__program | |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-nv__fragment__program | |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-nv__fragment__program2 | |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-nv__geometry__program4 | |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-arb__fragment__program | |
| packages/nixpkgs/vscode-extensions.divyanshuagrawal.competitive-programming-helper | Makes judging, compiling, and downloading problems for competitve programming easy |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-arb__get__program__binary | |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-nv__tessellation__program5 | |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-ext__gpu__program__parameters | |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-nv__vertex__program2__option | |
| packages/nixpkgs/sbclPackages.cl-glfw-opengl-apple__vertex__program__evaluators | |
| options/nixos/services.cage.program | Program to run in cage.
|
| options/nixos/security.wrappers.<name>.program | The name of the wrapper program
|
| options/home-manager/services.gpg-agent.pinentry.program | Which program to search for in the configured pinentry.package.
|
| options/home-manager/programs.wofi.enable | Whether to enable wofi: a launcher/menu program for wlroots based wayland compositors such as sway.
|
| options/nixos/services.mail.sendmailSetuidWrapper.program | The name of the wrapper program
|
| options/nixos/programs.i3lock.u2fSupport | Whether to enable U2F support in the i3lock program
|
| options/nixos/programs.ssh.askPassword | Program used by SSH to ask for passwords.
|
| options/nixos/programs.hamster.enable | Whether to enable hamster, a time tracking program.
|
| options/nixos/programs.gnome-disks.enable | Whether to enable GNOME Disks daemon, a program designed to
be a UDisks2 graphical front-end.
|
| options/home-manager/programs.mu.home | Directory to store Mu's database.
|
| options/home-manager/programs.zsh.oh-my-zsh | Options to configure oh-my-zsh.
|
| options/home-manager/programs.alot.tags | How to display the tags.
|
| options/home-manager/programs.rofi.font | Font to use.
|
| options/home-manager/programs.go.env | Environment variables for Go
|
| options/nixos/services.samba.settings.global."passwd program" | Path to a program that can be used to set UNIX user passwords.
|
| options/home-manager/programs.eza.git | List each file's Git status if tracked or ignored (--git argument).
|
| options/home-manager/programs.ne.menus | Menu configuration file for ne.
|
| options/home-manager/programs.mpvpaper.stopList | List of program names that will cause mpvpaper to stop
|
| options/nixos/programs.yazi.initLua | The init.lua for Yazi itself.
|
| options/home-manager/programs.yazi.initLua | The init.lua for Yazi itself.
|
| options/nixos/programs.weylus.openFirewall | Open ports needed for the functionality of the program.
|
| options/nixos/programs.zsh.histFile | Change history file.
|
| options/nixos/programs.zsh.histSize | Change history size.
|
| options/darwin/programs.zsh.histSize | Change history size.
|
| options/darwin/programs.zsh.histFile | Change history file.
|
| options/home-manager/programs.anki.style | Widgets style.
|
| options/home-manager/programs.anki.theme | Theme to use.
|
| options/home-manager/programs.kitty.font | The font to use.
|
| options/home-manager/programs.sesh.tmuxKey | Keybinding for invoking sesh in Tmux.
|
| options/nixos/programs.tmux.keyMode | VI or Emacs style shortcuts.
|
| options/home-manager/programs.tmux.keyMode | VI or Emacs style shortcuts.
|
| options/home-manager/programs.mpvpaper.pauseList | List of program names that will cause mpvpaper to pause
|
| options/nixos/programs.kde-pim.kmail | Whether to enable KMail.
|
| options/home-manager/programs.alot.hooks | Content of the hooks file.
|
| options/home-manager/programs.tmate.port | Tmate server port.
|
| options/home-manager/programs.tmate.host | Tmate server address.
|
| options/nixos/programs.cdemu.gui | Whether to install the cdemu GUI (gCDEmu).
|
| options/home-manager/programs.fish.binds | Manage key bindings
|
| options/nixos/programs.npm.npmrc | The system-wide npm configuration
|
| options/home-manager/programs.zsh.dotDir | Directory where the zsh configuration and more should be located,
relative to the users home directory
|
| options/home-manager/programs.gh.hosts | Host-specific configuration written to $XDG_CONFIG_HOME/gh/hosts.yml.
|
| options/darwin/programs.tmux.iTerm2 | Cater to iTerm2 and its tmux integration, as appropriate.
|
| options/home-manager/programs.rofi.cycle | Whether to cycle through the results list.
|
| options/home-manager/programs.git.hooks | Configuration helper for Git hooks
|
| options/home-manager/programs.eza.theme | Written to $XDG_CONFIG_HOME/eza/theme.yml
See https://github.com/eza-community/eza#custom-themes
|
| options/home-manager/programs.tmux.mouse | Whether to enable mouse support.
|
| options/home-manager/programs.zk.enable | Whether to enable zk.
|