| packages/nixpkgs/fbida | Image viewing and manipulation programs including fbi, fbgs, ida, exiftran and thumbnail.cgi |
| packages/nixpkgs/haskellPackages.FiniteMap | A finite map implementation, derived from the paper: Efficient sets: a balancing act, S |
| packages/nixpkgs/haskellPackages.hmatrix-glpk | Linear Programming based on GLPK |
| packages/nixpkgs/notonoto-console | Programming font that combines Noto Sans Mono and Noto Sans JP |
| packages/nixpkgs/python313Packages.strategies | Python library for control flow programming |
| packages/nixpkgs/python314Packages.strategies | Python library for control flow programming |
| packages/nixpkgs/python312Packages.dissect-target | Dissect module that provides a programming API and command line tools |
| packages/nixpkgs/python312Packages.qpsolvers | Quadratic programming solvers in Python with a unified API |
| packages/nixpkgs/python312Packages.sharedmem | Easier parallel programming on shared memory computers |
| packages/nixpkgs/haskellPackages.PUH-Project | This is a package which includes Assignments, Email, User and Reviews modules for Programming in Haskell course |
| packages/nixpkgs/haskellPackages.Ordinary | A Programming Language in Construction |
| packages/nixpkgs/haskellPackages.comfort-glpk | Linear Programming using GLPK and comfort-array |
| packages/nixpkgs/haskellPackages.parallel | Parallel programming library |
| packages/nixpkgs/notonoto-hs-console | Programming font that combines Noto Sans Mono and Noto Sans JP |
| packages/nixpkgs/haskellPackages.Obsidian | Embedded language for GPU Programming |
| packages/nixpkgs/haskellPackages.acme-hq9plus | An embedded DSL for the HQ9+ programming language |
| packages/nixpkgs/haskellPackages.quipper-core | An embedded, scalable functional programming language for quantum computing |
| packages/nixpkgs/haskellPackages.zeolite-lang | Zeolite is a statically-typed, general-purpose programming language |
| packages/nixpkgs/python312Packages.aspectlib | Aspect-oriented programming, monkey-patch and decorators library |
| packages/nixpkgs/texlivePackages.semantic | Help for writing programming language semantics |
| packages/nixpkgs/texlivePackages.l3kernel | LaTeX3 programming conventions |
| packages/nixpkgs/haskellPackages.LogicGrowsOnTrees | a parallel implementation of logic programming using distributed tree exploration |
| packages/nixpkgs/haskellPackages.Naperian | Naperian Functors for APL-like programming |
| packages/nixpkgs/haskellPackages.WidgetRattus | An asynchronous modal FRP language for GUI programming |
| packages/nixpkgs/haskellPackages.heukarya | A genetic programming based on tree structure |
| packages/nixpkgs/haskellPackages.heapsort | Heapsort of MArrays as a demo of imperative programming |
| packages/nixpkgs/haskellPackages.shentong | A Haskell implementation of the Shen programming language |
| packages/nixpkgs/haskellPackages.streamly | Streaming, dataflow programming and declarative concurrency |
| packages/nixpkgs/haskellPackages.multirec | Generic programming for families of recursive datatypes |
| packages/nixpkgs/haskellPackages.reactive | Push-pull functional reactive programming |
| packages/nixpkgs/python313Packages.property-manager | Useful property variants for Python programming |
| packages/nixpkgs/python314Packages.property-manager | Useful property variants for Python programming |
| packages/nixpkgs/supercollider | Programming language for real time audio synthesis |
| packages/nixpkgs/haskellPackages.SCRIPTWriter | ESCRIPT: a human friendly language for programming Bitcoin scripts |
| packages/nixpkgs/haskellPackages.mathista | A small programming language for numerical computing |
| packages/nixpkgs/haskellPackages.edenskel | Semi-explicit parallel programming skeleton library |
| packages/nixpkgs/haskellPackages.data-variant | A variant data type, useful for modeling dynamically-typed programming languages |
| packages/nixpkgs/haskellPackages.shellish | shell-/perl- like (systems) programming in Haskell |
| packages/nixpkgs/haskellPackages.timeless | An Arrow based Functional Reactive Programming library |
| packages/nixpkgs/libbpf | Library for loading eBPF programs and reading and manipulating eBPF objects from user-space |
| packages/nixpkgs/octavePackages.fpl | Collection of routines to export data produced by Finite Elements or Finite Volume Simulations in formats used by some visualization programs |
| packages/nixpkgs/haskellPackages.probable | Easy and reasonably efficient probabilistic programming and random generation |
| packages/nixpkgs/python312Packages.proxsuite-nlp | Primal-dual augmented Lagrangian solver for nonlinear programming on manifolds |
| packages/nixpkgs/python313Packages.proxsuite-nlp | Primal-dual augmented Lagrangian solver for nonlinear programming on manifolds |
| packages/nixpkgs/faust2csound | The faust2csound script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/faust2ladspa | The faust2ladspa script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/haskellPackages.simple-actors | A library for more structured concurrent programming, based on the Actor Model |
| packages/nixpkgs/haskellPackages.semiring | Semirings, ring-like structures used for dynamic programming applications |
| packages/nixpkgs/libfishsound | Simple programming interface for decoding and encoding audio data using Xiph.org codecs (FLAC, Speex and Vorbis) |
| packages/nixpkgs/python313Packages.repl-python-wakatime | Python REPL plugin for automatic time tracking and metrics generated from your programming activity |
| packages/nixpkgs/python314Packages.repl-python-wakatime | Python REPL plugin for automatic time tracking and metrics generated from your programming activity |
| packages/nixpkgs/python312Packages.psycopg2-binary | PostgreSQL database adapter for the Python programming language |
| packages/nixpkgs/python312Packages.online-judge-api-client | API client to develop tools for competitive programming |
| packages/nixpkgs/milu | Higher Order Mutation Testing Tool for C and C++ programs |
| packages/nixpkgs/chickenPackages_5.chickenEggs.colorize | Colorize programming code as HTML |
| packages/nixpkgs/haskellPackages.generics-sop | Generic Programming using True Sums of Products |
| packages/nixpkgs/haskellPackages.generics-eot | A library for generic programming that aims to be easy to understand |
| packages/nixpkgs/haskellPackages.language-hcl | HCL parsers and pretty-printers for the Haskell programming language |
| packages/nixpkgs/haskellPackages.canteven-http | Utilities for HTTP programming |
| packages/nixpkgs/python313Packages.online-judge-verify-helper | Testing framework for snippet libraries used in competitive programming |
| packages/nixpkgs/perl538Packages.Paranoid | General function library for safer, more secure programming |
| packages/nixpkgs/perl540Packages.Paranoid | General function library for safer, more secure programming |
| packages/nixpkgs/tigerjython | Simple development environment for programming in Python |
| packages/nixpkgs/haskellPackages.full-sessions | a monad for protocol-typed network programming |
| packages/nixpkgs/python314Packages.online-judge-verify-helper | Testing framework for snippet libraries used in competitive programming |
| packages/nixpkgs/griffe | Signatures for entire Python programs |
| packages/nixpkgs/verifast | Verification for C and Java programs via separation logic |
| packages/nixpkgs/haskellPackages.ADPfusionForest | Dynamic programming on tree and forest structures |
| packages/nixpkgs/haskellPackages.descript-lang | Library, interpreter, and CLI for Descript programming language |
| packages/nixpkgs/python312Packages.minikanren | Relational programming in Python |
| packages/nixpkgs/haskellPackages.kind-generics | Generic programming in GHC style for arbitrary kinds and GADTs |
| packages/nixpkgs/haskellPackages.language-conf | Conf parsers and pretty-printers for the Haskell programming language |
| packages/nixpkgs/haskellPackages.monadiccp | Constraint Programming |
| packages/nixpkgs/python312Packages.strategies | Python library for control flow programming |
| packages/nixpkgs/haskellPackages.dynamic-object | Object-oriented programming with duck typing and singleton classes |
| packages/nixpkgs/haskellPackages.prototype | prototype-based programming on Haskell |
| packages/nixpkgs/haskellPackages.zephyr-copilot | Embedded programming in haskell using the Copilot stream DSL and Zephyr |
| packages/nixpkgs/haskellPackages.sketch-frp-copilot | Sketch programming with Copilot |
| packages/nixpkgs/nerd-fonts.caskaydia-cove | Nerd Fonts: A fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal |
| packages/nixpkgs/haskellPackages.copilot-frp-sketch | FRP sketch programming with Copilot |
| packages/nixpkgs/haskellPackages.cloudchor | Lightweight and efficient choreographic programming for cloud services |
| packages/nixpkgs/haskellPackages.reactive-bacon | FRP (functional reactive programming) framework |
| packages/nixpkgs/haskellPackages.shady-graphics | Functional GPU programming - DSEL & compiler |
| packages/nixpkgs/miniaudicle | Light-weight integrated development environment for the ChucK digital audio programming language |
| packages/nixpkgs/online-judge-template-generator | Analyze problems of competitive programming and automatically generate boilerplate |
| packages/nixpkgs/comma | Runs programs without installing them |
| packages/nixpkgs/mpy-utils | MicroPython development utility programs |
| packages/nixpkgs/haskellPackages.generics-mrsop | Generic Programming with Mutually Recursive Sums of Products |
| packages/nixpkgs/haskellPackages.Ztrategic | Zipper-based library for strategic programming and attribute grammars |
| packages/nixpkgs/haskellPackages.yices-painless | An embedded language for programming the Yices SMT solver |
| packages/nixpkgs/python312Packages.property-manager | Useful property variants for Python programming |
| packages/nixpkgs/haskellPackages.large-generics | Generic programming API for large-records and large-anon |
| packages/nixpkgs/python313Packages.py4j | Py4J enables Python programs running in a Python interpreter to dynamically access Java objects in a Java Virtual Machine |
| packages/nixpkgs/python314Packages.py4j | Py4J enables Python programs running in a Python interpreter to dynamically access Java objects in a Java Virtual Machine |
| packages/nixpkgs/libsForQt5.quazip | Provides access to ZIP archives from Qt programs |
| packages/nixpkgs/pulumi | Cloud development platform that makes creating cloud programs easy and productive |
| packages/nixpkgs/rund | Compiler-wrapper that runs and caches D programs |
| packages/nixpkgs/python312Packages.repl-python-wakatime | Python REPL plugin for automatic time tracking and metrics generated from your programming activity |
| packages/nixpkgs/haskellPackages.funcons-lambda-cbv-mp | call-by-value lambda-calculus with meta-programming |
| packages/nixpkgs/haskellPackages.dhscanner-ast | abstract syntax tree for multiple programming languages |