| 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 |
| haskellPackages.DysFRP-Cairo | dysFunctional Reactive Programming on Cairo |
| haskellPackages.Quelea | Programming with Eventual Consistency over Cassandra |
| haskellPackages.harpie | Haskell array programming |
| haskellPackages.cmonad | A library for C-like programming |
| haskellPackages.hakaru | A probabilistic programming embedded DSL |
| haskellPackages.anansi | Simple literate programming preprocessor |
| haskellPackages.logict | A backtracking logic-programming monad |
| haskellPackages.turtle | Shell programming, Haskell-style |
| haskellPackages.sindre | A programming language for simple GUIs |
| haskellPackages.rsagl-frp | The RogueStar Animation and Graphics Library: Functional Reactive Programming |
| nerd-fonts._0xproto | Nerd Fonts: A programming font focused on source code legibility |
| texlivePackages.eolang | Formulas and graphs for the EO programming language |
| perl538Packages.IOAsync | Asynchronous event-driven programming |
| perl540Packages.IOAsync | Asynchronous event-driven programming |
| perl538Packages.AnyEvent | DBI of event loop programming |
| perl540Packages.AnyEvent | DBI of event loop programming |
| agdaPackages.agda | A dependently typed functional programming language and proof assistant |
| haskellPackages.formal | A statically typed, functional programming language |
| haskellPackages.Yampa-core | Library for programming hybrid systems |
| haskellPackages.java-poker | The etude of the Haskell programming |
| haskellPackages.artery | A simple, arrow-based reactive programming |
| haskellPackages.oplang | Stack-based esoteric programming language |
| haskellPackages.type-level | Type-level programming library |
| haskellPackages.sodium | Sodium Reactive Programming (FRP) System |
| haskellPackages.reflex | Higher-order Functional Reactive Programming |
| haskellPackages.shelly | shell-like (systems) programming in Haskell |
| texlivePackages.lpform | Typesetting linear programming formulations and sets of equations |
| haskellPackages.AutoForms | GUI library based upon generic programming (SYB3) |
| haskellPackages.kuifje | A Quantitative Information Flow aware programming language |
| haskellPackages.Animas | Updated version of Yampa: a library for programming hybrid systems |
| haskellPackages.Object | Object oriented programming for haskell using multiparameter typeclasses |
| haskellPackages.readme-lhs | Literate programming support |
| haskellPackages.egison | Programming language with non-linear pattern-matching against non-free data |
| haskellPackages.SoccerFun | Football simulation framework for teaching functional programming |
| haskellPackages.cimple | Simple C-like programming language |
| haskellPackages.monad-task | A monad transformer that turns event processing into co-routine programming |
| perl540Packages.BioExtAlign | Write Perl Subroutines in Other Programming Languages |
| perl538Packages.BioExtAlign | Write Perl Subroutines in Other Programming Languages |
| haskellPackages.AspectAG | First-class Attribute Grammars implemented using type-level programming |
| haskellPackages.type-level-tf | Type-level programming library (type families) |
| mercury | Pure logic programming language |
| haskellPackages.monad-bayes | A library for probabilistic programming |
| perl538Packages.Inline | Write Perl Subroutines in Other Programming Languages |
| perl540Packages.Inline | Write Perl Subroutines in Other Programming Languages |
| haskellPackages.coinor-clp | Linear Programming using COIN-OR/CLP and comfort-array |
| haskellPackages.genprog | Genetic programming library |
| haskellPackages.lazyboy | An EDSL for programming the Game Boy |
| haskellPackages.lazyppl | Lazy Probabilistic Programming Library |
| haskellPackages.cpmonad | Competitive programming problemsetting toolchain |
| haskellPackages.netwire | Functional reactive programming library |
| haskellPackages.terrahs | A Haskell GIS Programming Environment |
| haskellPackages.imprevu | Reactive programming language based on a DSL |
| haskellPackages.family-tree | A family tree library for the Haskell programming language |
| haskellPackages.unbound | Generic support for programming with names and binders |
| haskellPackages.reactor | Reactor - task parallel reactive programming |
| haskellPackages.unique-lang | Esoteric programming language where each number can only appear once |
| haskellPackages.regular | Generic programming library for regular datatypes |
| perlPackages.Paranoid | General function library for safer, more secure programming |
| skawarePackages.skalibs | Set of general-purpose C programming libraries |
| haskellPackages.ADPfusion | Efficient, high-level dynamic programming |
| haskellPackages.Befunge93 | An interpreter for the Befunge-93 Programming Language |
| haskellPackages.caledon | a logic programming language based on the calculus of constructions |
| haskellPackages.jmacro-rpc | JSON-RPC clients and servers using JMacro, and evented client-server Reactive Programming |
| haskellPackages.haskeme | Compiler from I- to S-Expressions for the Scheme Programming Language |
| haskellPackages.dewdrop | Find gadgets for return-oriented programming on x86 |
| haskellPackages.subhask | Type safe interface for programming in subcategories of Hask |
| skalibs_2_10 | Set of general-purpose C programming libraries |
| haskellPackages.LPFP | Code for the book Learn Physics with Functional Programming |
| haskellPackages.improve | An imperative, verifiable programming language for high assurance applications |
| haskellPackages.webshow | Show programming language printed values in a web UI |
| haskellPackages.paprika | The Haskell library and examples for the kids programming robot paprika |
| haskellPackages.ghc-lib-parser-ex | Programming with GHC parse trees |
| haskellPackages.aop-prelude | prelude for Algebra of Programming |
| haskellPackages.regular-web | Generic programming for the web |
| idris2Packages.idris2 | Purely functional programming language with first class types |
| haskellPackages.structs | Strict GC'd imperative object-oriented programming with cheap pointers |
| perl5Packages.Paranoid | General function library for safer, more secure programming |
| haskellPackages.ADPfusionSet | Dynamic programming for Set data structures |
| haskellPackages.event-driven | library for event driven programming |
| haskellPackages.gore-and-ash-actor | Gore&Ash engine extension that implements actor style of programming |
| texlivePackages.luatikz | A 2D graphics library to draw TikZ graphics using the Lua programming language |
| haskellPackages.frp-arduino | Arduino programming without the hassle of C |
| haskellPackages.rhine_1_6 | Functional Reactive Programming with type-level clocks |
| haskellPackages.nri-prelude | A Prelude inspired by the Elm programming language |
| haskellPackages.zendesk-api | Zendesk API for Haskell programming language |
| haskellPackages.haskell-mpi | Distributed parallel programming in Haskell using MPI |
| haskellPackages.logict-state | Library for logic programming based on haskell package logict |
| haskellPackages.haskell-cnc | Library for parallel programming in the Intel Concurrent Collections paradigm |
| haskellPackages.dynamic-pp | A pretty-print library that employs a dynamic programming algorithm for optimal rendering |
| haskellPackages.FiniteMap | A finite map implementation, derived from the paper: Efficient sets: a balancing act, S. Adams, Journal of functional programming 3(4) Oct 1993, pp553-562 |
| haskellPackages.hmatrix-glpk | Linear Programming based on GLPK |
| notonoto-console | Programming font that combines Noto Sans Mono and Noto Sans JP |
| haskellPackages.Ordinary | A Programming Language in Construction |
| haskellPackages.PUH-Project | This is a package which includes Assignments, Email, User and Reviews modules for Programming in Haskell course |
| haskellPackages.comfort-glpk | Linear Programming using GLPK and comfort-array |