| packages/nixpkgs/python312Packages.hatch-odoo | Hatch plugin to develop and package Odoo projects |
| packages/nixpkgs/python312Packages.optype | Opinionated typing package for precise type hints in Python |
| packages/nixpkgs/haskellPackages.test-framework-quickcheck | QuickCheck support for the test-framework package |
| packages/nixpkgs/haskellPackages.ListT | List transformer |
| packages/nixpkgs/haskellPackages.DSA | Implementation of DSA, based on the description of FIPS 186-4 |
| packages/nixpkgs/haskellPackages.KSP | A library with the kerbal space program universe and demo code |
| packages/nixpkgs/haskellPackages.CTRex | Open records using closed type families |
| packages/nixpkgs/haskellPackages.Hsed | Stream Editor in Haskell |
| packages/nixpkgs/haskellPackages.RESTng | A framework for writing RESTful applications |
| packages/nixpkgs/haskellPackages.Docs | Documentation types library |
| packages/nixpkgs/haskellPackages.Dust | Polymorphic protocol engine |
| packages/nixpkgs/haskellPackages.GLFW | A Haskell binding for GLFW |
| packages/nixpkgs/haskellPackages.OGDF | Haskell binding to OGDF |
| packages/nixpkgs/haskellPackages.MHask | The category of monads |
| packages/nixpkgs/haskellPackages.Pugs | A Perl 6 Implementation |
| packages/nixpkgs/haskellPackages.Hoed | Lightweight algorithmic debugging |
| packages/nixpkgs/haskellPackages.HDBC | Haskell Database Connectivity |
| packages/nixpkgs/haskellPackages.EtaMOO | A new implementation of the LambdaMOO server |
| packages/nixpkgs/haskellPackages.STL | STL 3D geometry format parsing and pretty-printing |
| packages/nixpkgs/haskellPackages.Pipe | Process piping library |
| packages/nixpkgs/haskellPackages.Konf | A configuration language and a parser |
| packages/nixpkgs/haskellPackages.HTab | Tableau based theorem prover for hybrid logics |
| packages/nixpkgs/haskellPackages.Lucu | HTTP Daemonic Library |
| packages/nixpkgs/haskellPackages.SSTG | STG Symbolic Execution |
| packages/nixpkgs/haskellPackages.SDL-gfx | Binding to libSDL_gfx |
| packages/nixpkgs/haskellPackages.NaCl | Easy-and-safe-to-use high-level Haskell bindings to NaCl |
| packages/nixpkgs/haskellPackages.CPL | An interpreter of Hagino's Categorical Programming Language (CPL) |
| packages/nixpkgs/haskellPackages.AMI | Low-level bindings for Asterisk Manager Interface (AMI) |
| packages/nixpkgs/haskellPackages.HaLeX | HaLeX enables modelling, manipulation and visualization of regular languages |
| packages/nixpkgs/haskellPackages.HasGP | A Haskell library for inference using Gaussian processes |
| packages/nixpkgs/haskellPackages.FpMLv53 | A binding for the Financial Products Markup Language (v5.3) |
| packages/nixpkgs/haskellPackages.MBot | Haskell interface for controlling the mBot educational robot |
| packages/nixpkgs/haskellPackages.AVar | Mutable variables with Exception handling and concurrency support |
| packages/nixpkgs/haskellPackages.Hedi | Line oriented editor |
| packages/nixpkgs/haskellPackages.HaVSA | An implementation of the Version Space Algebra learning framework |
| packages/nixpkgs/haskellPackages.Jdh | A Json implementation for Haskell, with JavaScript Values and Encoding/Decoding |
| packages/nixpkgs/haskellPackages.HFitUI | The library for generating a graphical interface on the web |
| packages/nixpkgs/haskellPackages.SDL-ttf | Binding to libSDL_ttf |
| packages/nixpkgs/haskellPackages.HList | Heterogeneous lists |
| packages/nixpkgs/haskellPackages.FComp | Compose music |
| packages/nixpkgs/haskellPackages.hahp | Analytic Hierarchy Process |
| packages/nixpkgs/haskellPackages.goat | Time Series Compression |
| packages/nixpkgs/haskellPackages.honi | OpenNI 2 binding |
| packages/nixpkgs/haskellPackages.imm | Execute arbitrary actions for each item from RSS/Atom feeds |
| packages/nixpkgs/haskellPackages.kure | Combinators for Strategic Programming |
| packages/nixpkgs/haskellPackages.gi-gdk | Gdk bindings (compatibility layer) |
| packages/nixpkgs/haskellPackages.geek | Geek blog engine |
| packages/nixpkgs/haskellPackages.argo | Parse and render JSON |
| packages/nixpkgs/haskellPackages.jail | Jailed IO monad |
| packages/nixpkgs/haskellPackages.gasp | A framework of algebraic classes |
| packages/nixpkgs/haskellPackages.flow | Write more understandable Haskell |
| packages/nixpkgs/haskellPackages.hurl | Haskell URL resolver |
| packages/nixpkgs/haskellPackages.hood | Debugging by observing in place |
| packages/nixpkgs/haskellPackages.Vec | Fixed-length lists and low-dimensional linear algebra |
| packages/nixpkgs/haskellPackages.dino | A convenient tagless EDSL |
| packages/nixpkgs/haskellPackages.lmdb | Lightning MDB bindings |
| packages/nixpkgs/haskellPackages.ede | Templating language with similar syntax and features to Liquid or Jinja2 |
| packages/nixpkgs/haskellPackages.hssh | SSH protocol implementation |
| packages/nixpkgs/haskellPackages.dep-t | Dependency injection for records-of-functions |
| packages/nixpkgs/haskellPackages.hdf | HDF: Uniform Rate Audio Signal Processing in Haskell |
| packages/nixpkgs/haskellPackages.hsql | Database access from Haskell |
| packages/nixpkgs/haskellPackages.freq | Are you ready to get freaky? |
| packages/nixpkgs/haskellPackages.circ | A Compiler IR Compiler |
| packages/nixpkgs/haskellPackages.bake | Continuous integration system |
| packages/nixpkgs/haskellPackages.fs-api | Abstract interface for the file system |
| packages/nixpkgs/haskellPackages.hgmp | Haskell interface to GMP |
| packages/nixpkgs/haskellPackages.cast | Abstact cast pattern |
| packages/nixpkgs/haskellPackages.hlex | Simple Lexer Creation |
| packages/nixpkgs/haskellPackages.dapi | Prints a series of dates |
| packages/nixpkgs/haskellPackages.coin | Simple account manager |
| packages/nixpkgs/haskellPackages.dyna | Minimal FRP library |
| packages/nixpkgs/haskellPackages.bet | Betfair API bindings |
| packages/nixpkgs/haskellPackages.bash | Bash generation library |
| packages/nixpkgs/haskellPackages.eros | A text censorship library |
| packages/nixpkgs/haskellPackages.laop | Matrix programming library |
| packages/nixpkgs/haskellPackages.erd | An entity-relationship diagram generator from a plain text description |
| packages/nixpkgs/haskellPackages.bf-cata | |
| packages/nixpkgs/haskellPackages.lion | RISC-V Core |
| packages/nixpkgs/haskellPackages.XMMS | XMMS2 client library |
| packages/nixpkgs/haskellPackages.hit-on | Haskell Git Helper Tool |
| packages/nixpkgs/haskellPackages.hgis | Library and for GIS with Haskell |
| packages/nixpkgs/haskellPackages.dove | The Dove verification language |
| packages/nixpkgs/haskellPackages.amby | Statistical data visualization |
| packages/nixpkgs/haskellPackages.Wheb | The frictionless WAI Framework |
| packages/nixpkgs/haskellPackages.afv | Infinite state model checking of iterative C programs |
| packages/nixpkgs/haskellPackages.gym-hs | Haskell bindings for OpenAI Gymnasium |
| packages/nixpkgs/haskellPackages.chan | Some extra kit for Chans |
| packages/nixpkgs/haskellPackages.curl | Haskell binding to libcurl |
| packages/nixpkgs/haskellPackages.isbn | ISBN Validation and Manipulation |
| packages/nixpkgs/haskellPackages.j2hs | j2hs |
| packages/nixpkgs/haskellPackages.jbi | Just Build It - a "do what I mean" abstraction for Haskell build tools |
| packages/nixpkgs/haskellPackages.hsI2C | I2C access for Haskell and Linux |
| packages/nixpkgs/haskellPackages.acts | Semigroup actions and torsors |
| packages/nixpkgs/haskellPackages.ion | EDSL for concurrent, realtime, embedded programming on top of Ivory |
| packages/nixpkgs/haskellPackages.dgim | Implementation of DGIM algorithm |
| packages/nixpkgs/haskellPackages.alms | a practical affine language |
| packages/nixpkgs/haskellPackages.hpio | Monads for GPIO in Haskell |
| packages/nixpkgs/haskellPackages.has-th | Template Haskell function for Has records |
| packages/nixpkgs/haskellPackages.hoq | A language based on homotopy type theory with an interval type |
| packages/nixpkgs/haskellPackages.gjk | Gilbert-Johnson-Keerthi (GJK) collision detection algorithm |