| packages/nixpkgs/perl5Packages.BioExtAlign | Write Perl Subroutines in Other Programming Languages |
| packages/nixpkgs/notonoto-hs-35 | Programming font that combines Noto Sans Mono and Noto Sans JP |
| packages/nixpkgs/perl540Packages.meta | Meta-programming API |
| packages/nixpkgs/perl538Packages.meta | Meta-programming API |
| packages/nixpkgs/haskellPackages.Agda | A dependently typed functional programming language and proof assistant |
| packages/nixpkgs/texlivePackages.plweb | Literate Programming for Prolog with LaTeX |
| packages/nixpkgs/haskellPackages.hydra | Graph programming language |
| packages/nixpkgs/haskellPackages.alloy | Generic programming library |
| packages/nixpkgs/haskellPackages.WashNGo | WASH is a family of EDSLs for programming Web applications in Haskell |
| packages/nixpkgs/haskellPackages.snail | A programming language with no semantics |
| packages/nixpkgs/llvmPackages_19.libclc | Implementation of the library requirements of the OpenCL C programming language |
| packages/nixpkgs/llvmPackages_18.libclc | Implementation of the library requirements of the OpenCL C programming language |
| packages/nixpkgs/llvmPackages_20.libclc | Implementation of the library requirements of the OpenCL C programming language |
| packages/nixpkgs/nerd-fonts.commit-mono | Nerd Fonts: An anonymous and neutral programming typeface |
| packages/nixpkgs/haskellPackages.ivory | Safe embedded C programming |
| packages/nixpkgs/haskellPackages.wires | Functional reactive programming library |
| packages/nixpkgs/haskellPackages.spade | A simple programming and debugging environment |
| packages/nixpkgs/haskellPackages.moffy | Monadic Functional Reactive Programming |
| packages/nixpkgs/perl5Packages.Inline | Write Perl Subroutines in Other Programming Languages |
| packages/nixpkgs/haskellPackages.Jikka | A transpiler from Python to C++ for competitive programming |
| packages/nixpkgs/haskellPackages.angle | A small, general-purpose programming language |
| packages/nixpkgs/haskellPackages.forml | A statically typed, functional programming language |
| packages/nixpkgs/haskellPackages.HSGEP | Gene Expression Programming evolutionary algorithm in Haskell |
| packages/nixpkgs/haskellPackages.Frank | An experimental programming language with typed algebraic effects |
| packages/nixpkgs/haskellPackages.lingo | File extension based programming language detection |
| packages/nixpkgs/haskellPackages.app-lens | applicative (functional) bidirectional programming beyond composition chains |
| packages/nixpkgs/haskellPackages.mappy | A functional programming language focused around maps |
| packages/nixpkgs/haskellPackages.disco | Functional programming language for teaching discrete math |
| packages/nixpkgs/haskellPackages.limp-cbc | bindings for integer linear programming solver Coin/CBC |
| packages/nixpkgs/haskellPackages.omega | A purely functional programming language and a proof system |
| packages/nixpkgs/haskellPackages.rhine | Functional Reactive Programming with type-level clocks |
| packages/nixpkgs/haskellPackages.yices | Haskell programming interface to Yices SMT solver |
| packages/nixpkgs/haskellPackages.atomo | A highly dynamic, extremely simple, very fun programming language |
| packages/nixpkgs/haskellPackages.apecs | Fast Entity-Component-System library for game programming |
| packages/nixpkgs/haskellPackages.Yampa | Elegant Functional Reactive Programming Language for Hybrid Systems |
| packages/nixpkgs/idrisPackages.yampa | Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types |
| packages/nixpkgs/haskellPackages.LPFP-core | Code for the book Learn Physics with Functional Programming |
| packages/nixpkgs/haskellPackages.MiniAgda | A toy dependently typed programming language with type-based termination |
| packages/nixpkgs/haskellPackages.GPipe-Core | Typesafe functional GPU graphics programming |
| packages/nixpkgs/haskellPackages.idris | Functional Programming Language with Dependent Types |
| packages/nixpkgs/haskellPackages.highs-lp | Linear Programming using HiGHS and comfort-array |
| packages/nixpkgs/haskellPackages.exp-pairs | Linear programming over exponent pairs |
| packages/nixpkgs/haskellPackages.Craft3e | Code for Haskell: the Craft of Functional Programming, 3rd ed |
| packages/nixpkgs/texlivePackages.protex | Literate programming package |
| packages/nixpkgs/haskellPackages.meta-misc | Utility library providing miscellaneous meta-programming utilities |
| packages/nixpkgs/haskellPackages.shady-gen | Functional GPU programming - DSEL & compiler |
| packages/nixpkgs/haskellPackages.monad-par | A library for parallel programming based on a monad |
| packages/nixpkgs/monocraft | Programming font based on the typeface used in Minecraft |
| packages/nixpkgs/cascadia-code | Monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal |
| packages/nixpkgs/haskellPackages.LPFP_1_2_1 | Code for the book Learn Physics with Functional Programming |
| packages/nixpkgs/haskellPackages.noodle | the noodle programming language |
| packages/nixpkgs/haskellPackages.DysFRP-Cairo | dysFunctional Reactive Programming on Cairo |
| packages/nixpkgs/haskellPackages.Quelea | Programming with Eventual Consistency over Cassandra |
| packages/nixpkgs/texlivePackages.eolang | Formulas and graphs for the EO programming language |
| packages/nixpkgs/haskellPackages.logict | A backtracking logic-programming monad |
| packages/nixpkgs/haskellPackages.hakaru | A probabilistic programming embedded DSL |
| packages/nixpkgs/haskellPackages.harpie | Haskell array programming |
| packages/nixpkgs/haskellPackages.anansi | Simple literate programming preprocessor |
| packages/nixpkgs/haskellPackages.cmonad | A library for C-like programming |
| packages/nixpkgs/haskellPackages.sindre | A programming language for simple GUIs |
| packages/nixpkgs/haskellPackages.turtle | Shell programming, Haskell-style |
| packages/nixpkgs/haskellPackages.rsagl-frp | The RogueStar Animation and Graphics Library: Functional Reactive Programming |
| packages/nixpkgs/nerd-fonts._0xproto | Nerd Fonts: A programming font focused on source code legibility |
| packages/nixpkgs/perl538Packages.IOAsync | Asynchronous event-driven programming |
| packages/nixpkgs/perl540Packages.IOAsync | Asynchronous event-driven programming |
| packages/nixpkgs/perl538Packages.AnyEvent | DBI of event loop programming |
| packages/nixpkgs/perl540Packages.AnyEvent | DBI of event loop programming |
| packages/nixpkgs/agdaPackages.agda | A dependently typed functional programming language and proof assistant |
| packages/nixpkgs/texlivePackages.lpform | Typesetting linear programming formulations and sets of equations |
| packages/nixpkgs/haskellPackages.Yampa-core | Library for programming hybrid systems |
| packages/nixpkgs/haskellPackages.formal | A statically typed, functional programming language |
| packages/nixpkgs/haskellPackages.artery | A simple, arrow-based reactive programming |
| packages/nixpkgs/haskellPackages.java-poker | The etude of the Haskell programming |
| packages/nixpkgs/haskellPackages.sodium | Sodium Reactive Programming (FRP) System |
| packages/nixpkgs/haskellPackages.shelly | shell-like (systems) programming in Haskell |
| packages/nixpkgs/haskellPackages.oplang | Stack-based esoteric programming language |
| packages/nixpkgs/haskellPackages.type-level | Type-level programming library |
| packages/nixpkgs/haskellPackages.reflex | Higher-order Functional Reactive Programming |
| packages/nixpkgs/haskellPackages.AutoForms | GUI library based upon generic programming (SYB3) |
| packages/nixpkgs/haskellPackages.kuifje | A Quantitative Information Flow aware programming language |
| packages/nixpkgs/haskellPackages.Object | Object oriented programming for haskell using multiparameter typeclasses |
| packages/nixpkgs/haskellPackages.Animas | Updated version of Yampa: a library for programming hybrid systems |
| packages/nixpkgs/haskellPackages.readme-lhs | Literate programming support |
| packages/nixpkgs/haskellPackages.cimple | Simple C-like programming language |
| packages/nixpkgs/haskellPackages.egison | Programming language with non-linear pattern-matching against non-free data |
| packages/nixpkgs/haskellPackages.SoccerFun | Football simulation framework for teaching functional programming |
| packages/nixpkgs/haskellPackages.monad-task | A monad transformer that turns event processing into co-routine programming |
| packages/nixpkgs/perl540Packages.BioExtAlign | Write Perl Subroutines in Other Programming Languages |
| packages/nixpkgs/perl538Packages.BioExtAlign | Write Perl Subroutines in Other Programming Languages |
| packages/nixpkgs/haskellPackages.AspectAG | First-class Attribute Grammars implemented using type-level programming |
| packages/nixpkgs/haskellPackages.type-level-tf | Type-level programming library (type families) |
| packages/nixpkgs/mercury | Pure logic programming language |
| packages/nixpkgs/haskellPackages.monad-bayes | A library for probabilistic programming |
| packages/nixpkgs/perl538Packages.Inline | Write Perl Subroutines in Other Programming Languages |
| packages/nixpkgs/perl540Packages.Inline | Write Perl Subroutines in Other Programming Languages |
| packages/nixpkgs/haskellPackages.coinor-clp | Linear Programming using COIN-OR/CLP and comfort-array |
| packages/nixpkgs/haskellPackages.genprog | Genetic programming library |
| packages/nixpkgs/haskellPackages.cpmonad | Competitive programming problemsetting toolchain |
| packages/nixpkgs/haskellPackages.lazyboy | An EDSL for programming the Game Boy |
| packages/nixpkgs/haskellPackages.lazyppl | Lazy Probabilistic Programming Library |