| haskellPackages.HyloDP | A package for solving dynamic programming problems in Haskell |
| faust2jack | The faust2jack script, part of faust functional programming language for realtime audio signal processing |
| haskellPackages.L-seed | Plant growing programming game |
| faust2jaqt | The faust2jaqt script, part of faust functional programming language for realtime audio signal processing |
| haskellPackages.cuda | FFI binding to the CUDA interface for programming NVIDIA GPUs |
| idrisPackages.idris-no-deps | Functional Programming Language with Dependent Types |
| llvmPackages.libclc | Implementation of the library requirements of the OpenCL C programming language |
| perlPackages.Inline | Write Perl Subroutines in Other Programming Languages |
| notonoto-hs | Programming font that combines Noto Sans Mono and Noto Sans JP |
| python313Packages.pex-entysec | Collection of special tools for providing high quality penetration testing using pure python programming language |
| python313Packages.psycopg2 | PostgreSQL database adapter for the Python programming language |
| python314Packages.pex-entysec | Collection of special tools for providing high quality penetration testing using pure python programming language |
| python314Packages.psycopg2 | PostgreSQL database adapter for the Python programming language |
| shibboleth-sp | Enables SSO and Federation web applications written with any programming language or framework |
| llvmPackages_17.libclc | Implementation of the library requirements of the OpenCL C programming language |
| llvmPackages_16.libclc | Implementation of the library requirements of the OpenCL C programming language |
| QuadProgpp | C++ library for Quadratic Programming |
| haskellPackages.Dao | Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind |
| haskellPackages.glpk-hs | Comprehensive GLPK linear programming bindings |
| haskellPackages.dao | Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind |
| haskellPackages.WebCont | Continuation based web programming for Happstack |
| haskellPackages.TicTacToe | A sub-project (exercise) for a functional programming course |
| python314Packages.samarium | Samarium Programming Language |
| llvmPackages_22.libclc | Implementation of the library requirements of the OpenCL C programming language |
| llvmPackages_21.libclc | Implementation of the library requirements of the OpenCL C programming language |
| notonoto-hs-35 | Programming font that combines Noto Sans Mono and Noto Sans JP |
| perl5Packages.BioExtAlign | Write Perl Subroutines in Other Programming Languages |
| ocamlPackages.domainslib | Nested-parallel programming |
| python313Packages.samarium | Samarium Programming Language |
| python313Packages.greenlet | Module for lightweight in-process concurrent programming |
| python314Packages.greenlet | Module for lightweight in-process concurrent programming |
| perl540Packages.meta | Meta-programming API |
| perl538Packages.meta | Meta-programming API |
| python312Packages.numpyro | Library for probabilistic programming with NumPy |
| haskellPackages.Agda | A dependently typed functional programming language and proof assistant |
| haskellPackages.hydra | Graph programming language |
| haskellPackages.WashNGo | WASH is a family of EDSLs for programming Web applications in Haskell |
| haskellPackages.alloy | Generic programming library |
| haskellPackages.snail | A programming language with no semantics |
| llvmPackages_18.libclc | Implementation of the library requirements of the OpenCL C programming language |
| llvmPackages_19.libclc | Implementation of the library requirements of the OpenCL C programming language |
| llvmPackages_20.libclc | Implementation of the library requirements of the OpenCL C programming language |
| nerd-fonts.commit-mono | Nerd Fonts: An anonymous and neutral programming typeface |
| texlivePackages.plweb | Literate Programming for Prolog with LaTeX |
| kexi | Open source visual database applications creator, a long-awaited competitor for programs like MS Access or Filemaker |
| gp2c | Compiler to translate GP scripts to PARI programs |
| python312Packages.coconut | Simple, elegant, Pythonic functional programming |
| haskellPackages.ivory | Safe embedded C programming |
| haskellPackages.wires | Functional reactive programming library |
| haskellPackages.spade | A simple programming and debugging environment |
| haskellPackages.moffy | Monadic Functional Reactive Programming |
| perl5Packages.Inline | Write Perl Subroutines in Other Programming Languages |
| python312Packages.easygui | Very simple, very easy GUI programming in Python |
| aider-chat-full | AI pair programming in your terminal |
| haskellPackages.Jikka | A transpiler from Python to C++ for competitive programming |
| haskellPackages.forml | A statically typed, functional programming language |
| haskellPackages.angle | A small, general-purpose programming language |
| kcov | Code coverage tester for compiled programs, Python scripts and shell scripts |
| orcania | Potluck with different functions for different purposes that can be shared among C programs |
| python312Packages.generic | Generic programming (Multiple dispatch) library for Python |
| aider-chat-with-playwright | AI pair programming in your terminal |
| haskellPackages.Frank | An experimental programming language with typed algebraic effects |
| haskellPackages.HSGEP | Gene Expression Programming evolutionary algorithm in Haskell |
| haskellPackages.app-lens | applicative (functional) bidirectional programming beyond composition chains |
| haskellPackages.disco | Functional programming language for teaching discrete math |
| haskellPackages.limp-cbc | bindings for integer linear programming solver Coin/CBC |
| haskellPackages.lingo | File extension based programming language detection |
| haskellPackages.mappy | A functional programming language focused around maps |
| haskellPackages.yices | Haskell programming interface to Yices SMT solver |
| haskellPackages.rhine | Functional Reactive Programming with type-level clocks |
| haskellPackages.omega | A purely functional programming language and a proof system |
| nim | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| haskellPackages.Yampa | Elegant Functional Reactive Programming Language for Hybrid Systems |
| haskellPackages.atomo | A highly dynamic, extremely simple, very fun programming language |
| haskellPackages.apecs | Fast Entity-Component-System library for game programming |
| python312Packages.pluthon | Pluto-like programming language for Cardano Smart Contracts in Python |
| idrisPackages.yampa | Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types |
| nim-1_0 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| nim-2_0 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| python312Packages.zebrafy | Python library for converting PDF and images to and from Zebra Programming Language |
| haskellPackages.GPipe-Core | Typesafe functional GPU graphics programming |
| haskellPackages.LPFP-core | Code for the book Learn Physics with Functional Programming |
| haskellPackages.MiniAgda | A toy dependently typed programming language with type-based termination |
| haskellPackages.idris | Functional Programming Language with Dependent Types |
| haskellPackages.highs-lp | Linear Programming using HiGHS and comfort-array |
| haskellPackages.exp-pairs | Linear programming over exponent pairs |
| python312Packages.curio-compat | Coroutine-based library for concurrent systems programming |
| chickenPackages_5.chickenEggs.pyffi | An interface to the Python programming language. |
| haskellPackages.Craft3e | Code for Haskell: the Craft of Functional Programming, 3rd ed |
| haskellPackages.shady-gen | Functional GPU programming - DSEL & compiler |
| haskellPackages.meta-misc | Utility library providing miscellaneous meta-programming utilities |
| haskellPackages.monad-par | A library for parallel programming based on a monad |
| monocraft | Programming font based on the typeface used in Minecraft |
| texlivePackages.protex | Literate programming package |
| cascadia-code | Monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal |
| haskellPackages.LPFP_1_2_1 | Code for the book Learn Physics with Functional Programming |
| haskellPackages.noodle | the noodle programming language |
| acpid | Daemon for delivering ACPI events to userspace programs |
| play | TUI playground for programs like grep, sed and awk |
| scipopt-scip | Solving Constraint Integer Programs |