@hackage reflection dependents

@hackage/reflex

Higher-order Functional Reactive Programming

@hackage/rlwe-challenges

Ring-LWE/LWR challenges using Lol.

@hackage/rounded

Correctly-rounded arbitrary-precision floating-point arithmetic

@hackage/secure-memory

Securely allocated and deallocated memory.

@hackage/servant-auth-server

servant-server/servant-auth compatibility

@hackage/servant-util

Servant servers utilities.

@hackage/singletons-presburger

Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.

@hackage/subcategories

Subcategories induced by class constraints

@hackage/tagged-transformer

Monad transformer carrying an extra phantom type tag

@hackage/tensors

Tensor in Haskell

@hackage/total-maps

Dense and sparse total maps.

@hackage/twee

An equational theorem prover

@hackage/typelits-witnesses

Existential witnesses, singletons, and classes for operations on GHC TypeLits

@hackage/typeparams

Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation

@hackage/tyro

Type derived JSON parsing using Aeson

@hackage/xrefcheck

@hackage/yam

A wrapper of servant

@hackage/yam-app

Yam App

@hackage/yam-web

Yam Web