| 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 |
| 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 |