@hackage some dependents

42 results

@hackage/aeson-commit
Parse Aeson data with commitment
BSD-3-Clausev1.6.0
@hackage/aeson-dependent-sum
JSON encoding/decoding for dependent-sum
GPL-3.0-or-laterv0.1.0.1
@hackage/bin
Bin: binary natural numbers.
GPL-2.0-or-laterv0.1.4
@hackage/bowtie
Tying knots in polynomial functors
BSD-3-Clausev0.7.0
@cardano/cardano-ledger-test
Testing harness, tests and benchmarks for Shelley style cardano ledgers
Apache-2.0v1.1.0.0
@hackage/changeset-reflex
Stateful monad transformer based on monoidal actions
MITv0.1.0.2
@hackage/cleveland
Testing framework for Morley.
MITv0.4.0
@hackage/debruijn
de Bruijn indices and levels
BSD-3-Clausev0.3.1
@hackage/debruijn-safe
de Bruijn indices and levels
BSD-3-Clausev0.3.1
@hackage/dependent-enummap
A generalisation of EnumMap to dependent types
BSD-3-Clausev0.1.0.0
@hackage/dependent-sum
Dependent sum type
LicenseRef-PublicDomainv0.7.2.0
@hackage/dependent-sum-aeson-orphans
JSON instances for DSum, DMap, and Some
BSD-3-Clausev0.3.1.2
@hackage/dependent-sum-template
Template Haskell code to generate instances of classes in some package
LicenseRef-PublicDomainv0.2.0.2
@hackage/emanote
Emanate a structured view of your plain-text notes
AGPL-3.0-onlyv1.4.0.0
@cardano/eventuo11y-extras
O11y helpers for Malowe Runtime and other Marlowe processes
Apache-2.0v0.1.1.0
@hackage/fb-util
Various utility libraries
BSD-3-Clausev0.2.0.0
@hackage/fin
Nat and Fin: peano naturals and finite numbers
BSD-3-Clausev0.3.2
@hackage/hasmtlib
A monad for interfacing with external SMT solvers
GPL-3.0-onlyv2.8.1
@hackage/hkd
"higher-kinded data"
(BSD-2-Clause OR Apache-2.0)v0.2.1
@hackage/hnix
Haskell implementation of the Nix language
BSD-3-Clausev0.17.0
@hackage/hnix-store-core
Core types used for interacting with the Nix store.
Apache-2.0v0.8.0.0
@hackage/hnix-store-remote
Remote hnix store
Apache-2.0v0.7.0.0
@hackage/horde-ad
Higher Order Reverse Derivatives Efficiently - Automatic Differentiation
BSD-3-Clausev0.2.0.0
@hackage/lsp-test
Functional test framework for LSP servers.
BSD-3-Clausev0.17.1.1
@hackage/lsp-types
Haskell library for the Microsoft Language Server Protocol, data types
MITv2.3.0.1
@hackage/morley
Developer tools for the Michelson Language
MITv1.20.0
@hackage/myxine-client
A Haskell client for the Myxine GUI server
MITv0.0.1.2
@cardano/plutus-core
Language library for Plutus Core
Apache-2.0v1.52.0.0
@hackage/polysemy-keyed-state
Effect for a set of stateful values indexed by a type of keys
BSD-3-Clausev0.1.1
@hackage/reflex-gadt-api
Interact with a GADT API in your reflex-dom application.
BSD-3-Clausev0.2.2.3