@hackage strict dependents

41 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.7.0.1
@hackage/BlogLiterately
A tool for posting Haskelly articles to blogs
GPL-3.0-onlyv0.8.8.2
@hackage/Frames-streamly
A streamly layer for Frames I/O
BSD-3-Clausev0.3.1.0
@hackage/NGLess
NGLess implements ngless, a DSL for processing sequencing data
MITv1.5.0
@hackage/adblock2privoxy
Convert adblock config files to privoxy format
GPL-3.0-onlyv2.3.0
@hackage/aeson
Fast JSON parsing and encoding
BSD-3-Clausev2.2.3.0
@hackage/agda-language-server
An implementation of language server protocal (LSP) for Agda 2.
MITv0.2.6.3.0
@hackage/arbtt
Automatic Rule-Based Time Tracker
GPL-2.0-onlyv0.12.0.3
@hackage/attoparsec-uri
URI parser / printer using attoparsec
BSD-3-Clausev0.0.9
@hackage/cabal-bounds
A command line program for managing the dependency versions in a cabal file.
BSD-3-Clausev2.6.0
@hackage/cabal-lenses
Lenses and traversals for the Cabal library.
BSD-3-Clausev0.15.0
@hackage/cabal-scaffold
BSD-3-Clausev0.1.0.0
@hackage/camfort
CamFort - Cambridge Fortran infrastructure
Apache-2.0v1.2.0
@hackage/cryptol
Cryptol: The Language of Cryptography
BSD-3-Clausev3.3.0
@hackage/diagrams-haddock
Preprocessor for embedding diagrams in Haddock documentation
BSD-3-Clausev0.4.1.2
@hackage/hascard
A TUI for reviewing notes using 'flashcards' written with markdown-like syntax.
BSD-3-Clausev0.6.0.2
@hackage/hmt
Haskell Music Theory
GPL-3.0-onlyv0.20
@hackage/ihaskell
A Haskell backend kernel for the Jupyter project.
MITv0.12.0.0
@hackage/inline-r
Seamlessly call R from Haskell and vice versa. No FFI required.
BSD-3-Clausev1.0.1
@hackage/large-hashable
Efficiently hash (large) Haskell values
BSD-3-Clausev0.1.2.0
@hackage/lens
Lenses, Folds and Traversals
BSD-2-Clausev5.3.4
@hackage/live-sequencer
Live coding of MIDI music
LicenseRef-GPLv0.0.6.3
@hackage/matterhorn
Terminal client for the Mattermost chat system
BSD-3-Clausev90000.1.0
@cardano/ouroboros-consensus
Consensus layer for the Ouroboros blockchain protocol
Apache-2.0v0.26.0.1
@hackage/pg-entity
A pleasant PostgreSQL layer
MITv0.0.5.1
@hackage/quickcheck-instances
Common quickcheck instances
BSD-3-Clausev0.3.32
@hackage/quickcheck-state-machine
Test monadic programs using state machine based models
BSD-3-Clausev0.10.1
@hackage/serialise
A binary serialisation library for Haskell values.
BSD-3-Clausev0.2.6.1
@hackage/skew-list
Random access lists: skew binary
BSD-3-Clausev0.1
@hackage/strict-base-types
Strict variants of the types provided in base.
BSD-3-Clausev0.8.1