@hackage some dependents

@hackage/aeson-commit

Parse Aeson data with commitment

@hackage/aeson-dependent-sum

JSON encoding/decoding for dependent-sum

@hackage/bin

Bin: binary natural numbers.

@hackage/bowtie

Tying knots in polynomial functors

@hackage/cleveland

Testing framework for Morley.

@hackage/debruijn

de Bruijn indices and levels

@hackage/debruijn-safe

de Bruijn indices and levels

@hackage/dependent-sum

Dependent sum type

@hackage/dependent-sum-aeson-orphans

JSON instances for DSum, DMap, and Some

@hackage/dependent-sum-template

Template Haskell code to generate instances of classes in some package

@hackage/emanote

Emanate a structured view of your plain-text notes

@hackage/fin

Nat and Fin: peano naturals and finite numbers

@hackage/hasmtlib

A monad for interfacing with external SMT solvers

@hackage/hkd

"higher-kinded data"

@hackage/hnix

Haskell implementation of the Nix language

@hackage/hnix-store-core

Core types used for interacting with the Nix store.

@hackage/hnix-store-remote

Remote hnix store

@hackage/lsp-test

Functional test framework for LSP servers.

@hackage/lsp-types

Haskell library for the Microsoft Language Server Protocol, data types

@hackage/morley

Developer tools for the Michelson Language

@hackage/myxine-client

A Haskell client for the Myxine GUI server

@cardano/plutus-core

Language library for Plutus Core

@hackage/polysemy-keyed-state

Effect for a set of stateful values indexed by a type of keys

@hackage/reflex-gadt-api

Interact with a GADT API in your reflex-dom application.

@hackage/reflex-potatoes

@hackage/singleton-bool

Type level booleans

@hackage/sqel

Guided derivation for Hasql statements

@hackage/ten

Functors et al. over arity-1 type constructors

@hackage/ten-lens

Lenses for the types in the ten package.

@hackage/ten-unordered-containers

Higher-kinded hash containers