@hackage blagda dependencies

35 results

library:blagda (17 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/process

Process libraries

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.7 && <5

@hackage/uri-encode

Unicode aware uri-encoding

BSD-3-Clause

@hackage/unordered-containers

Efficient hashing-based container types

BSD-3-Clause

@hackage/time

A time library

BSD-2-Clause

@hackage/syb

Scrap Your Boilerplate

BSD-3-Clause

@hackage/shake

Build system library, like Make, but more accurate dependencies.

BSD-3-Clause

@hackage/pandoc-types

Types for representing a structured document

BSD-3-Clause

@hackage/pandoc

Conversion between markup formats

GPL-2.0-or-later

@hackage/mustache

A mustache template parser library.

BSD-3-Clause

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause

@hackage/Agda

A dependently typed functional programming language and proof assistant

MIT

executable:blagda (18 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/process

Process libraries

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.7 && <5

@hackage/uri-encode

Unicode aware uri-encoding

BSD-3-Clause

@hackage/unordered-containers

Efficient hashing-based container types

BSD-3-Clause

@hackage/time

A time library

BSD-2-Clause

@hackage/syb

Scrap Your Boilerplate

BSD-3-Clause

@hackage/shake

Build system library, like Make, but more accurate dependencies.

BSD-3-Clause

@hackage/pandoc-types

Types for representing a structured document

BSD-3-Clause

@hackage/pandoc

Conversion between markup formats

GPL-2.0-or-later

@hackage/mustache

A mustache template parser library.

BSD-3-Clause

@hackage/blagda

Shake frontend for Agda blogging

AGPL-3.0-only

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause

@hackage/Agda

A dependently typed functional programming language and proof assistant

MIT