@hackage Stream dependents

22 results

@hackage/ComonadSheet
A library for expressing spreadsheet-like computations as the fixed-points of comonads.
BSD-3-Clausev0.3.0.0
@hackage/ConsStream
Trivial re-export of Wouter Swierstra's Stream package, avoiding module name clash.
BSD-3-Clausev0.1
@hackage/IOSpec
A pure specification of the IO monad.
BSD-3-Clausev0.3.1.2
@hackage/Tape
Bidirectionally infinite streams, akin to the tape of a Turing machine.
BSD-3-Clausev0.4.0.0
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/align-audio
Find relative time displacement of two recordings of the same music
BSD-3-Clausev0.0.0.1
@hackage/arrows
Arrow classes and transformers
BSD-3-Clausev0.4.4.2
@hackage/bot
bots for functional reactive programming
BSD-3-Clausev0.3
@hackage/compdata
Compositional Data Types
BSD-3-Clausev0.13.1
@hackage/dedukti
A type-checker for the λΠ-modulo calculus.
LicenseRef-GPLv1.1.4
@hackage/diplomacy-server
Play Diplomacy over HTTP
BSD-3-Clausev0.1.0.0
@hackage/g3p-hash
Global Password Prehash Protocol
Apache-2.0v2.0.0.0
@hackage/geodetics
Terrestrial coordinate systems and geodetic calculations.
BSD-3-Clausev1.1.0
@hackage/hinze-streams
Streams and Unique Fixed Points
BSD-3-Clausev1.0
@hackage/lapack
Numerical Linear Algebra using LAPACK
BSD-3-Clausev0.5.2
@hackage/large-anon
Scalable anonymous records
BSD-3-Clausev0.3.3
@hackage/metaheuristics
Generalised local search within Haskell, for applications in combinatorial optimisation.
LicenseRef-GPLv0.0.8
@hackage/phkdf
Toolkit for self-documenting password hash and key derivation functions.
Apache-2.0v0.1.0.0
@cardano/plutus-core
Language library for Plutus Core
Apache-2.0v1.47.0.0
@cardano/plutus-metatheory
Command line tool for running plutus core programs
Apache-2.0v1.47.0.0
@hackage/reactive
Push-pull functional reactive programming
LicenseRef-OtherLicensev0.11.5
@hackage/web-page
Monoidally construct web pages
BSD-3-Clausev0.2.0