Packages

18584 results

Check out Package Feeds

@hackage/conversion-text
"Conversion" instances for the "text" library
MITv1.0.1.1Wed, 4 May 2022
@hackage/conversions
Injective explicit total and partial conversions
MITv0.0.4Fri, 20 Nov 2020
@hackage/convert
Safe and unsafe data conversion utilities with strong type-level operation. checking.
Apache-2.0v1.5.1Tue, 18 Dec 2018
@hackage/convert-annotation
Convert the annotation of a gene to another in a delimited file using a variety of different databases.
GPL-3.0-onlyv0.5.1.0Wed, 7 Feb 2018
@hackage/convertible
Typeclasses and instances for converting between types
BSD-3-Clausev1.1.1.1Fri, 27 May 2022
@hackage/convertible-ascii
convertible instances for ascii
LicenseRef-PublicDomainv0.1.0.1Mon, 19 Dec 2011
@hackage/convertible-text
Typeclasses and instances for converting between types (deprecated)
BSD-3-Clausev0.4.0.2Tue, 12 Feb 2019
@hackage/convex-schema-parser
A type-safe client generator for Convex for both Rust and Python.
MITv0.1.8.0Fri, 25 Jul 2025
@hackage/convexHullNd
Convex hull
GPL-3.0-onlyv0.1.0.0Wed, 22 Nov 2023
@hackage/cookbook
Tiered general-purpose libraries with domain-specific applications.
BSD-3-Clausev3.0.1.1Tue, 15 Mar 2016
@hackage/cookie
HTTP cookie parsing and rendering
MITv0.5.1Mon, 31 Mar 2025
@hackage/cookie-tray
For serving cookies
Apache-2.0v0.0.0.1Tue, 21 Jan 2025
@hackage/cookies
web cookies
BSD-3-Clausev0.1.0.0Wed, 13 Jun 2018
@hackage/cooklang-hs
Parser for the Cook markup language
MITv0.1.1Wed, 27 Dec 2023
@hackage/coordinate
A representation of latitude and longitude
BSD-3-Clausev0.2Fri, 6 Apr 2018
@hackage/copilot
A stream DSL for writing embedded C programs.
BSD-3-Clausev4.5Tue, 8 Jul 2025
@hackage/copilot-bluespec
A compiler for Copilot targeting FPGAs.
BSD-3-Clausev4.5Tue, 8 Jul 2025
@hackage/copilot-c99
A compiler for Copilot targeting C99.
BSD-3-Clausev4.5Tue, 8 Jul 2025
@hackage/copilot-cbmc
Copilot interface to a C model-checker.
BSD-3-Clausev2.2.1Wed, 12 Jul 2017
@hackage/copilot-core
An intermediate representation for Copilot.
BSD-3-Clausev4.5Tue, 8 Jul 2025
@hackage/copilot-frp-sketch
FRP sketch programming with Copilot
BSD-3-Clausev1.0.0Mon, 14 Feb 2022
@hackage/copilot-interpreter
Interpreter for Copilot.
BSD-3-Clausev4.5Tue, 8 Jul 2025
@hackage/copilot-language
A Haskell-embedded DSL for monitoring hard real-time distributed systems.
BSD-3-Clausev4.5Tue, 8 Jul 2025
@hackage/copilot-libraries
Libraries for the Copilot language.
BSD-3-Clausev4.5Tue, 8 Jul 2025
@hackage/copilot-prettyprinter
A prettyprinter of Copilot Specifications.
BSD-3-Clausev4.5Tue, 8 Jul 2025
@hackage/copilot-sbv
A compiler for CoPilot targeting SBV.
BSD-3-Clausev2.2.1Wed, 12 Jul 2017
@hackage/copilot-theorem
k-induction for Copilot.
BSD-3-Clausev4.5Tue, 8 Jul 2025
@hackage/copilot-verifier
System for verifying the correctness of generated Copilot programs
BSD-3-Clausev4.5Tue, 8 Jul 2025
@hackage/copilot-visualizer
Visualizer for Copilot.
BSD-3-Clausev4.5Tue, 8 Jul 2025
@hackage/copr
Haskell interface to the Fedora Copr system
BSD-3-Clausev1.1.1Sun, 19 Oct 2014