| perl540Packages.meta | Meta-programming API |
| perl538Packages.meta | Meta-programming API |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| idrisPackages.yampa | Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types |
| 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 |
| 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 |
| 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 |